From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “expressive language” 29

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies
2024 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Blai Bonet, Dominik Drexler, Héctor Geffner

0

citations
Symmetries and Expressive Requirements for Learning General Policies
2024 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Dominik Drexler, Simon Ståhlberg, Blai Bonet, Héctor Geffner

0

citations
Word-Emoji Embeddings from large scale Messaging Data reflect real-world Semantic Associations of Expressive Icons
2020 arXiv (Cornell University) preprint Computer Science Digital Communication and Language Open access

Jens Helge Reelfs, Oliver Hohlfeld, Markus Strohmaier, Niklas Henckell

2

citations
An Empirical Study on Chinese Character Decomposition in Multiword Expression-Aware Neural Machine Translation
2025 arXiv (Cornell University) preprint Computer Science Natural Language Processing Techniques Open access

Lifeng Han

0

citations
LLaMEA-SAGE: Guiding Automated Algorithm Design with Structural Feedback from Explainable AI
2026 arXiv (Cornell University) preprint Computer Science Evolutionary Algorithms and Applications Open access

Niki van Stein, Anna V. Kononova, Lars Kotthoff, Thomas Bäck

2

citations
Quantum Deep Learning: A Comprehensive Review
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Yanjun Ji, Zhao-Yun Chen, Marco Roth, David A. Kreplin, Christian Schiffer, Martin King, +7 more

5

citations
Knowing What LLMs DO NOT Know: A Simple Yet Effective Self-Detection Method
2023 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Yukun Zhao, Lingyong Yan, Weiwei Sun, Guoliang Xing, Chong Meng, Shuaiqiang Wang, +3 more

2

citations
Enhancing Empathetic Response Generation by Augmenting LLMs with Small-scale Empathetic Models
2024 arXiv (Cornell University) preprint Computer Science Sentiment Analysis and Opinion Mining Open access

Yang Zhou, Zhaochun Ren, Shizhong Peng, Haizhou Sun, Xiaofei Zhu, Xiangwen Liao

2

citations
Quantum Deep Learning: A Comprehensive Review
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Yanjun Ji, Zhao-Yun Chen, Marco Roth, David A. Kreplin, Christian Schiffer, Martin King, +7 more

0

citations
MEFT: Memory-Efficient Fine-Tuning through Sparse Adapter
2024 arXiv (Cornell University) preprint Computer Science Domain Adaptation and Few-Shot Learning Open access

Jitai Hao, Xin Xin, Qi Meng, Zhumin Chen, Pengjie Ren, Zhaochun Ren

1

citations
Investigating the Robustness of Modelling Decisions for Few-Shot Cross-Topic Stance Detection: A Preregistered Study
2024 arXiv (Cornell University) preprint Computer Science Sentiment Analysis and Opinion Mining Open access

Myrthe Reuver, Suzan Verberne, Antske Fokkens

1

citations
EvoMO-SR: Multiobjective LLM-based Evolution of Symbolic Expressions with substructure guidance
2026 arXiv (Cornell University) preprint Computer Science Evolutionary Algorithms and Applications Open access

Cristina Rossetti, Anna V. Kononova, Thomas Bäck, Fei Liu, Niki van Stein

0

citations
Exploiting Emotion-Semantic Correlations for Empathetic Response Generation
2024 arXiv (Cornell University) preprint Computer Science Speech and dialogue systems Open access

Zhou Yang, Zhaochun Ren, Yufeng Wang, Xiaofei Zhu, Zhihao Chen, Yunbing Wu, +3 more

1

citations
General Policies, Subgoal Structure, and Planning Width
2023 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Blai Bonet, Héctor Geffner

0

citations
Query Languages for Neural Networks
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Martin Grohe, Christoph Standke, Juno Steegmans, Jan Van den Bussche

0

citations
Relatively Complete Verification of Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
Towards a Deductive Verification Infrastructure for Weighted Programming
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Samuel Rode, Philipp Schröer, Joost-Pieter Katoen

0

citations
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Jens Claßen

0

citations
Graph Learning Should Move Beyond Restrictive Views of Spectral and Message-Passing GNNs
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Antonis Vasileiou, Juan Cerviño, Pascal Frossard, Charilaos I. Kanatsoulis, Christopher Morris, Michael T. Schaub, +4 more

1

citations
Comparing Two Approaches to Include Stochasticity in Hybrid Automata
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Anne Remke, Erika Ábrahám

1

citations
Recursive querying of neural networks via weighted structures
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Martin Grohe, Christoph Standke, Juno Steegmans, Jan Van den Bussche

0

citations
Caesar: A Deductive Verifier for Probabilistic Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations
Recursive querying of neural networks via weighted structures
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Martin Grohe, Christoph Standke, Juno Steegmans, Jan Van den Bussche

0

citations
Query Languages for Machine-Learning Models
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Martin Grohe

0

citations
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more

3

citations