Finesse Lab wordmark

Publications

IJCAI (to appear) · 2026

Uniform Interpolation Closure for Branching Time Temporal Logics

Renyan Feng, Yisong Wang, Mingsen Deng, Erman Acar

A logic-focused contribution on uniform interpolation closure for branching-time temporal logics.

ICAIF (to appear) · 2026

Internalizing Investment Mandates: A Neurosymbolic RL Approach to Portfolio Allocation

Zeynep Yildiz, Satchit Chatterji, Ercan Atam, Erman Acar

Neurosymbolic reinforcement learning for portfolio allocation under investment mandates.

ICAIF (to appear) · 2026

From Communities to Trades: Network-Guided Pair Selection and Adaptive Thresholding for Cryptocurrency Statistical Arbitrage

Alexandre du Prez, Mehul Verma, Erman Acar

Network-guided pair selection and adaptive thresholding for cryptocurrency statistical arbitrage.

ICAIF (to appear) · 2026

Amortized Interventional Forecasting for Multivariate CIR Processes

Andreas Sauter, Sumit Shourab, Drona Kandhai, Erman Acar

Amortized interventional forecasting for multivariate financial processes.

ICAIF (to appear) · 2026

From Features to Circuits: Mechanistic Interpretability for Financial Tabular Transformers

Arco van Breda, Saba Amiri, Ana Oprescu, Sander Klous, Erman Acar

Mechanistic interpretability for financial tabular transformers, moving from feature-level explanations to circuit-level analysis.

ICML · 2025

AI for Global Climate Cooperation: Modeling Global Climate Negotiations, Agreements, and Long-Term Cooperation in RICE-N

Tianyu Zhang, Andrew Robert Williams, Phillip Wozny, Kai-Hendrik Cohrs, Koen Ponse, Marco Jiralerspong, Soham Rajesh Phade, Sunil Srinivasa, Lu Li, Yang Zhang, Prateek Gupta, Erman Acar, Irina Rish, Yoshua Bengio, Stephan Zheng

Multiagent climate cooperation and policy design in a high-stakes negotiation setting, relevant for safe and accountable strategic decision-making.