math-dataset

AI & ML interests

None defined yet.

Recent Activity

yifAI  authored a paper 11 days ago

Exact Coset Sampling for Quantum Lattice Algorithms

yifAI  authored a paper about 2 months ago

A Markov Categorical Framework for Language Modeling

yifAI  authored a paper 3 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

View all activity

Team members 4