Ricardo Silveira Cabral's picture

2

Ricardo Silveira Cabral

rscabral

·

rscabral

AI & ML interests

None yet

Recent Activity

authored a paper 4 days ago

Logic.py: Bridging the Gap between LLMs and Constraint Solvers

upvoted a paper 4 days ago

Logic.py: Bridging the Gap between LLMs and Constraint Solvers

authored a paper 7 days ago

The Llama 3 Herd of Models

View all activity

Organizations

None yet

rscabral's activity

upvoted a paper 4 days ago

Logic.py: Bridging the Gap between LLMs and Constraint Solvers

Paper • 2502.15776 • Published 12 days ago • 1

upvoted a paper 8 days ago

MLGym: A New Framework and Benchmark for Advancing AI Research Agents

Paper • 2502.14499 • Published 9 days ago • 167