Fabio Somenzi
5 papers · 2022–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
π
Conference Polyglot Β· Bronze
π
Interdisciplinary Bridge Β· Gold
πΊοΈ
Taxonomy Completionist
(20)
π
Renaissance Researcher
(6)
Venues
Top co-authors
Research topics
Artificial Intelligence
(5)
Core AI
(5)
Reinforcement Learning
(4)
Methods
(4)
Machine Learning
(3)
Learning Types
(3)
Knowledge & Reasoning
(2)
Optimization & Theory
(2)
Reasoning
(2)
Computer Science
(1)
Mathematics & Optimization
(1)
Natural Language Processing
(1)
Foundations
(1)
Generation
(1)
Optimization
(1)
Keywords
markov decision process
(2)
reinforcement learning
(2)
model-based learning
(1)
natural language generation
(1)
text generation
(1)
pac learning
(1)
explanation generation
(1)
formal methods
(1)
formal verification
(1)
dynamic programming
(1)
optimal policy
(1)
discounted reward
(1)
recursive neural network
(1)
human-ai collaboration
(1)
markov game
(1)
temporal logic
(1)
lexicographic optimization
(1)
recursive learning
(1)
linear temporal logic
(1)
controller synthesis
(1)
Papers
Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku
ACL 2025
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs
AAAI 2024
Assume-Guarantee Reinforcement Learning
AAAI 2024
Omega-Regular Decision Processes
AAAI 2024
Recursive Reinforcement Learning
NeurIPS 2022