Federico Mora
3 papers · 2024–2025 · 2 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
(11)
π
Renaissance Researcher
(5)
Venues
Top co-authors
Research topics
Machine Learning
(3)
Optimization & Theory
(2)
Artificial Intelligence
(1)
Computer Science
(1)
Knowledge & Reasoning
(1)
Mathematics & Optimization
(1)
Natural Language Processing
(1)
Application Areas
(1)
Core AI
(1)
Foundations
(1)
Generation
(1)
Mathematics
(1)
Reasoning
(1)
Resources & Methods
(1)
Keywords
online learning
(1)
boolean satisfiability
(1)
code generation
(1)
program synthesis
(1)
automated reasoning
(1)
formal verification
(1)
multi-armed bandit
(1)
prompt selection
(1)
large language model
(1)
satisfiability modulo theories
(1)
algebraic datatype
(1)
uninterpreted function
(1)
eager approach
(1)
low-resource programming language
(1)
compiler repair
(1)
synthetic programming elicitation
(1)