arxiv:2403.04706
Chen Li
LC-Edward
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 2 months ago
Beyond Examples: High-level Automated Reasoning Paradigm in In-Context
Learning via MCTS
upvoted
a
paper
3 months ago
Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation
Organizations
