XinLi's picture

9 9 1

XinLi

XINLI1997

https://lixin.ai/

AI & ML interests

None yet

Recent Activity

updated a dataset 12 days ago

XINLI1997/ICSC-task2

updated a dataset 12 days ago

XINLI1997/ICSC-task3-test

published a dataset 12 days ago

XINLI1997/ICSC-task3-test

View all activity

Organizations

None yet

authored 5 papers 3 months ago

Beyond Correctness: Evaluating Subjective Writing Preferences Across Cultures

Paper • 2510.14616 • Published Oct 16, 2025 • 12

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

Paper • 2510.14763 • Published Oct 16, 2025 • 13

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, 2025 • 20

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

Paper • 2509.23219 • Published Sep 27, 2025 • 18

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

Paper • 2509.23061 • Published Sep 27, 2025 • 6

authored a paper 4 months ago

WirelessMathBench: A Mathematical Modeling Benchmark for LLMs in Wireless Communications

Paper • 2505.14354 • Published May 20, 2025 • 2