Ioannis Dagas

ioda-idg's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper about 1 year ago

Symbol-LLM: Towards Foundational Symbol-centric Interface For Large Language Models

Paper • 2311.09278 • Published Nov 15, 2023 • 7

upvoted a collection about 1 year ago

Symbol-LLM

Collection

4 items • Updated Nov 11, 2024 • 5

upvoted 3 papers about 1 year ago

MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical Reasoning

Paper • 2310.03731 • Published Oct 5, 2023 • 29

SymbolicAI: A framework for logic-based approaches combining generative models and solvers

Paper • 2402.00854 • Published Feb 1, 2024 • 20

MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models

Paper • 2309.12284 • Published Sep 21, 2023 • 18

upvoted a collection about 1 year ago

my-math-and-logic-babies

Collection

20 items • Updated Oct 26, 2024 • 1

upvoted a paper about 1 year ago

LLMs4OL: Large Language Models for Ontology Learning

Paper • 2307.16648 • Published Jul 31, 2023 • 3