XinLi's picture

9 9 1

XinLi

XINLI1997

https://lixin.ai/

AI & ML interests

None yet

Recent Activity

updated a dataset about 18 hours ago

XINLI1997/ICSC-task1

published a dataset about 18 hours ago

XINLI1997/ICSC-task1

updated a dataset about 18 hours ago

XINLI1997/ICSC-task2

View all activity

Organizations

None yet

authored 2 papers about 2 months ago

Beyond Correctness: Evaluating Subjective Writing Preferences Across Cultures

Paper • 2510.14616 • Published Oct 16 • 11

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

Paper • 2510.14763 • Published Oct 16 • 13

authored 3 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

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

Paper • 2509.23219 • Published Sep 27 • 18

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

Paper • 2509.23061 • Published Sep 27 • 6

authored a paper 3 months ago

WirelessMathBench: A Mathematical Modeling Benchmark for LLMs in Wireless Communications

Paper • 2505.14354 • Published May 20 • 2