Entity · technique

Counterexample-Guided Inductive Synthesis (CEGIS)

techniqueactivecounterexample-guided-inductive-synthesis-cegis--93067192·1 events·first seen May 20, 2026

Aliases: Counterexample-Guided Inductive Synthesis (CEGIS)

Co-occurring entities

Willems Fundamental Lemma k-Inductive Neural Barrier Certificates (k-NBCs)Sum-of-Squares (SOS) Polynomials Satisfiability Modulo Theories (SMT)

More like this (12)

OEIS Conjectures Causal Semantic Guidance CICIDS Semantic Generative Tuning (SGT)code synthesis LLMs GEIS: A Generation-Evaluation-Improvement Loop of Agent Skills for Long-Form Article Generation rule induction GIC Debate (AI safety technique)AI-assisted theorem proving Conditional Inference hybrid reasoning

Recent events (1)

4arXiv · cs.AI·May 20, 2026·source ↗

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics

This paper introduces k-inductive neural barrier certificates (k-NBCs) for safety verification of partially unknown nonlinear dynamical systems. The approach relaxes strict conventional barrier conditions by allowing temporary function increases up to k-1 times, and combines neural networks with a CEGIS-SMT verification framework. To handle unknown dynamics, it leverages a data-driven representation via Willems et al.'s fundamental lemma from a single state trajectory, avoiding the need for explicit system models. The method is validated on three nonlinear case studies.

AI Safety Research Willems Fundamental Lemma k-Inductive Neural Barrier Certificates (k-NBCs)Counterexample-Guided Inductive Synthesis (CEGIS)+2 more