arxiv:2502.14499
Ricardo Silveira Cabral
rscabral
ยท
AI & ML interests
None yet
Recent Activity
authored
a paper
about 4 hours ago
Logic.py: Bridging the Gap between LLMs and Constraint Solvers
upvoted
a
paper
about 4 hours ago
Logic.py: Bridging the Gap between LLMs and Constraint Solvers
authored
a paper
4 days ago
The Llama 3 Herd of Models
Organizations
None yet
