Chiung-Yi

Chiung-Yi's activity

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

upvoted a collection 4 months ago

Proof Assistant Projects

Collection

Digesting proof assistant libraries for AI ingestion. • 84 items • Updated Jan 15 • 3

upvoted a paper 7 months ago

StreetMath: Study of LLMs' Approximation Behaviors

Paper • 2510.25776 • Published Oct 27, 2025 • 4

upvoted a paper 8 months ago

When Judgment Becomes Noise: How Design Failures in LLM Judge Benchmarks Silently Undermine Validity

Paper • 2509.20293 • Published Sep 24, 2025 • 8