Model Architectures

AI & ML interests

None defined yet.

Recent Activity

yifAI  authored a paper about 8 hours ago

Exact Coset Sampling for Quantum Lattice Algorithms

yifAI  authored a paper about 1 month 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

Team members 1