FormalCP

FormalCP's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Articles

zhouliang 

authored a paper 17 days ago

Sample-Efficient Post-Training for LEGO Spatial-Physics Reasoning

Paper • 2606.07602 • Published 28 days ago • 6

wy1iu 

authored a paper 28 days ago

PEFT-Arena: Understanding Parameter-Efficient Finetuning from a Stability-Plasticity Perspective

Paper • 2605.28819 • Published about 1 month ago • 8

wy1iu 

submitted a paper to Daily Papers about 1 month ago

Pion: A Spectrum-Preserving Optimizer via Orthogonal Equivalence Transformation

Paper • 2605.12492 • Published May 12 • 6

zhouliang 

authored a paper 3 months ago

Stabilizing Rubric Integration Training via Decoupled Advantage Normalization

Paper • 2603.26535 • Published Mar 27 • 3

wy1iu 

authored a paper 8 months ago

Agentic Design of Compositional Machines

Paper • 2510.14980 • Published Oct 16, 2025 • 13

zhouliang 

authored a paper 8 months ago

SimKO: Simple Pass@K Policy Optimization

Paper • 2510.14807 • Published Oct 16, 2025 • 11

wy1iu 

authored a paper 8 months ago

SimKO: Simple Pass@K Policy Optimization

Paper • 2510.14807 • Published Oct 16, 2025 • 11

wy1iu 

authored a paper 10 months ago

Symbolic Graphics Programming with Large Language Models

Paper • 2509.05208 • Published Sep 5, 2025 • 47

zhouliang 

authored a paper 12 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

Paper • 2507.06181 • Published Jul 8, 2025 • 45

wy1iu 

authored a paper about 1 year ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Paper • 2505.02735 • Published May 5, 2025 • 33

zhouliang 

authored 5 papers about 1 year ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Paper • 2505.02735 • Published May 5, 2025 • 33

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Paper • 2504.11354 • Published Apr 15, 2025 • 7

MAP-Neo: Highly Capable and Transparent Bilingual Large Language Model Series

Paper • 2405.19327 • Published May 29, 2024 • 48

CodeEditorBench: Evaluating Code Editing Capability of Large Language Models

Paper • 2404.03543 • Published Apr 4, 2024 • 18

COIG-P: A High-Quality and Large-Scale Chinese Preference Dataset for Alignment with Human Values

Paper • 2504.05535 • Published Apr 7, 2025 • 44

zhouliang 

authored a paper over 1 year ago

Chinese Tiny LLM: Pretraining a Chinese-Centric Large Language Model

Paper • 2404.04167 • Published Apr 5, 2024 • 13

wy1iu 

authored a paper over 1 year ago

Generating Symbolic World Models via Test-time Scaling of Large Language Models

Paper • 2502.04728 • Published Feb 7, 2025 • 19

zhouliang 

authored a paper over 1 year ago

Generating Symbolic World Models via Test-time Scaling of Large Language Models

Paper • 2502.04728 • Published Feb 7, 2025 • 19

wy1iu 

authored 2 papers over 2 years ago

GraphDreamer: Compositional 3D Scene Synthesis from Scene Graphs

Paper • 2312.00093 • Published Nov 30, 2023 • 17

Parameter-Efficient Orthogonal Finetuning via Butterfly Factorization

Paper • 2311.06243 • Published Nov 10, 2023 • 21