Search Results - Computing methodologies, Knowledge representation and reasoning

Exploiting learning and scenario-based specification languages for the verification and validation of highly automated driving by Damm, Werner, Galbas, Roland

“…We propose a series of methods based on learning key structural properties from traffic data-basis and on statistical model checking, ultimately leading to the…”
Get full text

Perspective Multi-Player Games by Kupferman, Orna, Shenwald, Noam

“…Perspective games model multi-agent systems in which agents can view only the parts of the system that they own. Unlike the observation-based model of partial…”
Get full text

Symbolic Verification of Fuzzy Logic Models by Zhao, Siang, Li, Zhongyang, Chen, Zhenbang, Wang, Ji

“…Fuzzy logic is widely applied in various applications. However, verifying the correctness of fuzzy logic models can be difficult. This extended abstract…”
Get full text

Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements by Fazelnia, Mohamad, Mirakhorli, Mehdi, Bagheri, Hamid

“… While Large Language Models (LLMs) have demonstrated proficiency in natural language understanding tasks, they often struggle with the nuanced reasoning required for identifying complex requirement conflicts…”
Get full text

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments by Jung, Jean Christoph, Wolter, Frank

“…In logics with the Craig interpolation property (CIP) the existence of an interpolant for an implication follows from the validity of the implication. In…”
Get full text

Studying Programmers Without Programming: Investigating Expertise Using Resting State fMRI by Karas, Zachary, Gold, Benjamin, Zhou, Violet, Reardon, Noah, Polk, Thad, Chang, Catie, Huang, Yu

“…Expert programmers are more effective at coding activities, but the reasons for this remain elusive. Accordingly, recent research has used neuroimaging such as…”
Get full text

Asynchronous Extensions of HyperLTL by Bozzelli, Laura, Peron, Adriano, Sanchez, Cesar

“…Hyperproperties are a modern specification paradigm that extends trace properties to express properties of sets of traces. Temporal logics for hyperproperties…”
Get full text

GlitchProber: Advancing Effective Detection and Mitigation of Glitch Tokens in Large Language Models by Zhang, Zhibo, Bai, Wuxia, Li, Yuxi, Meng, Mark Huasong, Wang, Kailong, Shi, Ling, Li, Li, Wang, Jun, Wang, Haoyu

“…Large language models (LLMs) have achieved unprecedented success in the field of natural language processing. However, the black-box nature of their internal…”
Get full text

Learning from Physical Human Corrections, One Feature at a Time by Bajcsy, Andrea, Losey, Dylan P., O'Malley, Marcia K., Dragan, Anca D.

“…We focus on learning robot objective functions from human guidance: specifically, from physical corrections provided by the person while the robot is acting…”
Get full text

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation by Komorida, Yuichi, Katsumata, Shin-ya, Kupke, Clemens, Rot, Jurriaan, Hasuo, Ichiro

“…A modal logic that is strong enough to fully characterize the behavior of a system is called expressive. Recently, with the growing diversity of systems to be…”
Get full text

Consistent Graph Model Generation with Large Language Models by Chen, Boqi

“…Graph model generation from natural language requirements is an essential task in software engineering, for which large language models (LLMs) have become…”
Get full text

SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning by Luo, Weilin, Zheng, Yuhang, Ye, Rongzhen, Wan, Hai, Du, Jianfeng, Liang, Pingjia, Chen, Polong

“… verifies the satisfiability result. The core contribution is a new graph representation for LTL formulae - one-step unfolded graph (OSUG) to incorporate the syntax and semantic features of LTL. Preliminary results show that our approach is superior to the state-of-the-art neural approaches on synthetic datasets and confirms the effectiveness of OSUG…”
Get full text

Lightning Talk: The New Era of Computational Cognitive Intelligence by Dutt, Nikil, Donyanavard, Bryan

“…), and the environment (e.g., context) renders ineffective the classical computational/algorithmic/numerical computing paradigm in dealing with the inherent runtime dynamism and uncertainty faced by emerging systems…”
Get full text

Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study by Endres, Madeline, Karas, Zachary, Hu, Xiaosu, Kovelman, Ioulia, Weimer, Westley

“…Understanding how novices reason about coding at a neurological level has implications for training the next generation of software engineers. In recent years,…”
Get full text

Lightning Talk: Bridging Neuro-Dynamics and Cognition by Imani, Mohsen

“…Brain-inspired computing models have shown great potential to outperform today's deep learning solutions in terms of robustness and energy efficiency…”
Get full text

Alignment Completeness for Relational Hoare Logics by Nagasamudram, Ramana, Naumann, David A.

“…Relational Hoare logics (RHL) provide rules for reasoning about relations between programs…”
Get full text

Constrained LTL Specification Learning from Examples by Zhang, Changjian, Kapoor, Parv, Dardik, Ian, Cui, Leyi, Meira-Goes, Romulo, Garlan, David, Kang, Eunsuk

“…Temporal logic specifications play an important role in a wide range of software analysis tasks, such as model checking, automated synthesis, program…”
Get full text

Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes by Dreier, Jan

“…The concept of bounded expansion provides a robust way to capture sparse graph classes with interesting algorithmic properties. Most notably, every problem…”
Get full text

On Automated Assistants for Software Development: The Role of LLMs by Leung, Mira, Murphy, Gail

“…Software developers handle many complex tasks that include gathering and applying domain knowledge, coordinating subtasks, designing interfaces, turning ideas into elegant code…”
Get full text

Compositional relational reasoning via operational game semantics by Jaber, Guilhem, Murawski, Andrzej S.

“…We show how to use operational game semantics as a guide to develop relational techniques for establishing contextual equivalences with respect to contexts…”
Get full text