Ioannis Dagas

ioda-idg's activity

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

upvoted a paper 4 months ago

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

Paper • 2311.09278 • Published Nov 15, 2023 • 7

upvoted a collection 4 months ago

Symbol-LLM

Collection

3 items • Updated 5 days ago • 4

upvoted 3 papers 4 months 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 • 19

MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models

Paper • 2309.12284 • Published Sep 21, 2023 • 18

upvoted a collection 4 months ago

my-math-and-logic-babies

Collection

20 items • Updated 15 days ago • 1

upvoted a paper 4 months ago

LLMs4OL: Large Language Models for Ontology Learning

Paper • 2307.16648 • Published Jul 31, 2023 • 3