Yunsong Meng

Identifiers

• name variant Yunsong Meng 0.60 · backfill

Papers (6)

1. Answer Set Programming Modulo Theories and Reasoning about Continuous Changes cs.AI · 2025 · author #2
2. On Loop Formulas with Variables cs.AI · 2023 · author #2
3. Are Interpretations Fairly Evaluated? A Definition Driven Pipeline for Post-Hoc Interpretability cs.CL · 2020 · author #2
4. Representing Hybrid Automata by Action Language Modulo Theories cs.AI · 2017 · author #3
5. First-Order Stable Model Semantics and First-Order Loop Formulas cs.LO · 2014 · author #2
6. Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers cs.LO · 2013 · author #2

Mentions

• 2507.04299 #2 · arxiv_oai · confidence 0.70 Yunsong Meng
• 2307.10226 #2 · arxiv_oai · confidence 0.70 Yunsong Meng
• 2009.07494 #2 · arxiv_oai · confidence 0.70 Yunsong Meng
• 1707.06387 #3 · arxiv_oai · confidence 0.70 Yunsong Meng
• 1401.3898 #2 · arxiv_oai · confidence 0.70 Yunsong Meng
• 1301.1393 #2 · arxiv_oai · confidence 0.70 Yunsong Meng
• 1401.3898 #2 · backfill · confidence 0.70 Yunsong Meng
• 1301.1393 #2 · backfill · confidence 0.70 Yunsong Meng

Frequent Coauthors

• Joohyung Lee 5 shared papers
• Bo Long 1 shared papers
• Nikhil Loney 1 shared papers
• Ninghao Liu 1 shared papers
• Tie Wang 1 shared papers
• Xia Hu 1 shared papers