Liangda Fang

19 papers · 2013–2026 · 5 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (4) 🧭 Keyword Pioneer 🌈 Renaissance Researcher (8) 🗺️ Taxonomy Completionist (30) 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (5) 🏃 Academic Marathon (12) 🧬 Topic Evolution 🗃️ Keyword Collector (86) 🚀 Conference Pioneer 💎 Century Club (18) 📈 Trend Setter ⚡ Prolific Year (5)

Conferences

IJCAI (9) AAAI (6) JMLR (2) COLING (1) ICML (1)

Top co-authors

Zhao-Rong Lai (9) Quanlong Guan (7) Xiaotian Wu (4) Ziliang Chen (4) Yongmei Liu (3) Hai Wan (2) Junming Qiu (2) Weiqi Luo (2) Ximing Wen (2) Zhenhao Gu (1)

Keywords

subgradient method (2) portfolio optimization (2) logical separability (2) boolean function (2) convergence analysis (2) convex optimization (2) weber location problem (2) weiszfeld algorithm (2) attention mechanism (1) l1 regularization (1) automated planning (1) sparse optimization (1) belief revision (1) knowledge compilation (1) risk management (1) formal verification (1) numerical optimization (1) game theory (1) norm optimization (1) alternating direction method of multiplier (1)

Papers

GraphRAG-Induced Dual Knowledge Structure Graphs for Personalized Learning Path Recommendation AAAI 2026

Language Models as Implicit Tree Search ICML 2025

Improvements to the Generate-and-Complete Approach to Conformant Planning IJCAI 2025

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus AAAI 2025

De-singularity Subgradient for the q-th-Powered lₚ-Norm Weber Location Problem AAAI 2025

KVFKT: A New Horizon in Knowledge Tracing with Attention-Based Embedding and Forgetting Curve Integration COLING 2025

A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs IJCAI 2024

On the Logic of Theory Change Iteration of KM-Update, Revised IJCAI 2024

A De-singularity Subgradient Approach for the Extended Weber Location Problem IJCAI 2024

Knowledge Compilation Meets Logical Separability AAAI 2022

Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers IJCAI 2020

Loss Control with Rank-one Covariance Estimate for Short-term Portfolio Optimization JMLR 2020

Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability AAAI 2019

Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions AAAI 2019

Short-term Sparse Portfolio Optimization Based on Alternating Direction Method of Multipliers JMLR 2018

Forgetting in Multi-Agent Modal Logics IJCAI 2016

A Complete Epistemic Planner without the Epistemic Closed World Assumption IJCAI 2015

On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus IJCAI 2015

High-Level Program Execution in Multi-Agent Settings IJCAI 2013