Geo300K

AI & ML interests

None defined yet.

Recent Activity

research4pan  authored a paper about 4 hours ago

AgentSPEX: An Agent SPecification and EXecution Language

research4pan  submitted a paper about 9 hours ago

AgentSPEX: An Agent SPecification and EXecution Language

research4pan  authored a paper 6 months ago

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

View all activity

Team members 3