Search

Linqi Song

OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving (NeurIPS 2024 D&B Track)
CLOMO: Counterfactual Logical Modification with Large Language Models
CLOMO: Counterfactual Logical Modification with Large Language Models (ACL 2024)
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data (ICLR 2024 Spotlight)
Integrating Large Language Models into Recommendation via Mutual Augmentation and Adaptive Aggregation
RecRanker: Instruction Tuning Large Language Model as Ranker for Top-k Recommendation

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.