Institution profile

University of Konstanz

Academic institutioneurope · de
Official website
Research library158linked papers
Opportunities0open roles
Selected work

Representative Papers

Conformity and Social Impact on AI Agents

Jan 08, 2026arXiv.org

This study investigates conformity behavior in large language models (LLMs) acting as AI agents within multi-agent environments and the associated safety risks arising from social influence. By replicating a classic social psychology visual experiment and integrating multimodal LLMs with key group influence variables—such as group size, unanimity, and task difficulty—the work provides the first systematic validation that AI agents exhibit conformity tendencies consistent with established social influence theory. The findings reveal that even high-performing models, which demonstrate strong accuracy in isolation, are significantly swayed by group opinions, with their susceptibility intensifying as task complexity increases. This highlights critical vulnerabilities in multi-agent systems, particularly the potential for social manipulation and the propagation of biases through collective dynamics.

1 citationsRead paper

Automated Consistency Analysis for Legal Contracts

Apr 25, 2025SPIN

Long commercial contracts—such as Share Purchase Agreements (SPAs)—suffer from excessive verbosity, undetected logical inconsistencies, and difficulties in verifying execution feasibility. Method: This paper proposes the first automated consistency verification framework for SPAs, grounded in a domain-specific ontology and decidable first-order logic (FOL) constraints. It integrates ontology-based modeling, structured natural language (blocks) encoding, and SMT-solvable assertion generation to achieve end-to-end translation from unstructured text to formal constraints, followed by satisfiability checking via solvers like Z3. Contribution/Results: It is the first work to combine a domain ontology with decidable FOL for SPA consistency verification; supports generating either a satisfying model or an infeasibility proof; and demonstrates effectiveness on real-world SPAs, significantly improving review efficiency and reliability.

1 citationsRead paper
Recent publications

Latest Papers