Physlean_data

AI & ML interests

None defined yet.

Recent Activity

research4pan  authored a paper about 20 hours ago

AgentSPEX: An Agent SPecification and EXecution Language

research4pan  submitted a paper 1 day 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 2