XinLi

XINLI1997's activity

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

upvoted 2 papers about 2 months ago

COIG-Writer: A High-Quality Dataset for Chinese Creative Writing with Thought Processes

Paper • 2510.14763 • Published Oct 16 • 13

Beyond Correctness: Evaluating Subjective Writing Preferences Across Cultures

Paper • 2510.14616 • Published Oct 16 • 11

upvoted 6 papers 2 months ago

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

Paper • 2507.16331 • Published Jul 22 • 20

Knapsack RL: Unlocking Exploration of LLMs via Optimizing Budget Allocation

Paper • 2509.25849 • Published Sep 30 • 47

Variational Reasoning for Language Models

Paper • 2509.22637 • Published Sep 26 • 69

Language Models Can Learn from Verbal Feedback Without Scalar Rewards

Paper • 2509.22638 • Published Sep 26 • 70

Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification

Paper • 2509.23061 • Published Sep 27 • 6

WirelessMathLM: Teaching Mathematical Reasoning for LLMs in Wireless Communications with Reinforcement Learning

Paper • 2509.23219 • Published Sep 27 • 18

upvoted a paper 3 months ago

WirelessMathBench: A Mathematical Modeling Benchmark for LLMs in Wireless Communications

Paper • 2505.14354 • Published May 20 • 2