Federico Mora
3 papers · 2024–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot (2) π Renaissance Researcher (6) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (12) π§ Keyword Pioneer
π
Cross-Pollinator
(11)
Conferences
AAAI (2)
NIPS (1)
Top co-authors
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)