DeepTheorem
Collection
A dataset and RL-zero pipeline for advanced mathematical reasoning of informal theorem proving.
•
5 items
•
Updated
•
2
Ziyin Zhang
Geralt-Targaryen
AI & ML interests
None yet
Recent Activity
upvoted
a
collection
about 23 hours ago
DeepTheorem
liked
a dataset
5 days ago
Jiahao004/DeepTheorem
authored
a paper
5 days ago
DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural
Language and Reinforcement Learning
Organizations
Geralt-Targaryen's activity
upvoted
a
collection
about 23 hours ago
liked
a
dataset
5 days ago
authored
a
paper
5 days ago
upvoted
a
paper
8 days ago
authored
3
papers
10 days ago
Is Cognition and Action Consistent or Not: Investigating Large Language Model's Personality
Paper
•
2402.14679
•
Published
GALLa: Graph Aligned Large Language Models for Improved Source Code Understanding
Paper
•
2409.04183
•
Published
Code Graph Model (CGM): A Graph-Integrated Large Language Model for Repository-Level Software Engineering Tasks
Paper
•
2505.16901
•
Published
•
20
upvoted
2
papers
10 days ago
commented
a
paper
10 days ago
liked
a
model
11 days ago
updated
a
dataset
about 1 month ago
published
a
dataset
about 1 month ago
updated
a
dataset
about 1 month ago
liked
a
dataset
about 1 month ago
updated
a
dataset
about 2 months ago
published
a
dataset
about 2 months ago
updated
a
dataset
about 2 months ago
liked
a
dataset
about 2 months ago
updated
a
dataset
about 2 months ago