Federico Mora
3 papers
· 2024–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
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)