Liangda Fang
20 papers · 2013–2026 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (34) π Academic Marathon Β· Half π Conference Polyglot Β· Silver π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
ποΈ
Keyword Collector
(98)
π
Renaissance Researcher
(7)
β‘
Prolific Year Β· Productive
π
Conference Pioneer
π
Century Club Β· Bronze
π
Trend Setter
Top co-authors
Research topics
Artificial Intelligence
(9)
Core AI
(8)
Machine Learning
(7)
Mathematics & Optimization
(6)
Optimization
(6)
Optimization & Theory
(5)
Deep Learning
(3)
Knowledge & Reasoning
(3)
Reasoning
(3)
Reinforcement Learning
(2)
Core Methods
(2)
Learning Types
(2)
Mathematics
(2)
Methods
(2)
Computer Science
(1)
Keywords
portfolio optimization
(2)
boolean function
(2)
logical separability
(2)
convergence analysis
(2)
convex optimization
(2)
weber location problem
(2)
subgradient method
(2)
weiszfeld algorithm
(2)
mathematical reasoning
(1)
formal verification
(1)
automated planning
(1)
l1 regularization
(1)
sparse optimization
(1)
belief revision
(1)
risk management
(1)
numerical optimization
(1)
covariance estimation
(1)
game theory
(1)
alternating direction method of multiplier
(1)
submodular maximization
(1)
Papers
GraphRAG-Induced Dual Knowledge Structure Graphs for Personalized Learning Path Recommendation
AAAI 2026
Vocabulary Scaling Law: Tuning Open-vocabulary Predictors for Their Openness
CVPR 2026
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
Improvements to the Generate-and-Complete Approach to Conformant Planning
IJCAI 2025
KVFKT: A New Horizon in Knowledge Tracing with Attention-Based Embedding and Forgetting Curve Integration
COLING 2025
Language Models as Implicit Tree Search
ICML 2025
A De-singularity Subgradient Approach for the Extended Weber Location Problem
IJCAI 2024
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
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
Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions
AAAI 2019
Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability
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