agi-systems

AI & ML interests

None defined yet.

Recent Activity

yifAI  authored a paper about 1 month ago

On the Design of KL-Regularized Policy Gradient Algorithms for LLM Reasoning

yifAI  authored a paper about 2 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

yifAI  authored a paper 6 months ago

Tensor Product Attention Is All You Need

View all activity

Team members 1