mathema

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

yifAI authored a paper 4 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 2 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

View all activity

mathema 's datasets

None public yet