conftrace_

Minghao Liu

20 papers · 2019–2026 · 10 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓
+9 more ↓ 🌈 Renaissance Researcher (10) πŸŒ‰ Interdisciplinary Bridge πŸƒ Academic Marathon (6) 🌍 Conference Polyglot (8) πŸ—ΊοΈ Taxonomy Completionist (49)
πŸƒ Academic Marathon (6) πŸŒ‰ Interdisciplinary Bridge πŸ† Grand Slam πŸ‘₯ Mega-Team (20) πŸ”₯ Unstoppable (5) ⚑ Prolific Year (9) πŸ’Ž Century Club (18) ❓ The Questioner (2) πŸ—ƒοΈ Keyword Collector (101)

Conferences

AAAI (6) EMNLP (3) CVPR (2) ICML (2) IJCAI (2) ACL (1) EACL (1) ECCV (1) ICLR (1) NIPS (1)

Papers

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization ACL 2026 COIG-P: A High-Quality and Large-Scale Chinese Preference Dataset for Alignment with Human Values EACL 2026 A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic AAAI 2025 Human and AI Perceptual Differences in Image Classification Errors AAAI 2025 Scalable Knowledge Refactoring Using Constrained Optimisation AAAI 2025 Falcon: Fast Visuomotor Policies via Partial Denoising ICML 2025 OmniDocBench: Benchmarking Diverse PDF Document Parsing with Comprehensive Annotations CVPR 2025 KOR-Bench: Benchmarking Language Models on Knowledge-Orthogonal Reasoning Tasks ICLR 2025 ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming EMNLP 2025 MedEBench: Diagnosing Reliability in Text-Guided Medical Image Editing EMNLP 2025 UP-Restorer: When Unrolling Meets Prompts for Unified Image Restoration AAAI 2025 IntentionQA: A Benchmark for Evaluating Purchase Intention Comprehension Abilities of Language Models in E-commerce EMNLP 2024 UP2ME: Univariate Pre-training to Multivariate Fine-tuning as a General-purpose Framework for Multivariate Time Series Analysis ICML 2024 Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning NIPS 2023 Dual Prompt Learning for Continual Rain Removal from Single Images IJCAI 2023 Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract) AAAI 2023 Word Level Robustness Enhancement: Fight Perturbation with Perturbation AAAI 2022 How Much Does Input Data Type Impact Final Face Model Accuracy? CVPR 2022 DuelGAN: A Duel between Two Discriminators Stabilizes the GAN Training ECCV 2022 Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring IJCAI 2019