Bilaketaren emaitzak - "program synthesis"

Eine Architektur für Programmsynthese aus natürlicher Sprache nork Landhäußer, Mathias

Gaiak: “...program synthesis...”
DOAB: download the publication
DOAB: description of the publication

Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache nork Weigelt, Sebastian

Gaiak: “...Computerlinguistik; Künstliche Intelligenz; Programmsynthese; Endnutzer-Programmierung; Softwaretechnik; Natural Language Processing; Artificial Intelligence; Program Synthesis; End-user Programming; Software Engineering...”
DOAB: download the publication
DOAB: description of the publication

Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache nork Weigelt, Sebastian

Gaiak: “...Computerlinguistik; Künstliche Intelligenz; Programmsynthese; Endnutzer-Programmierung; Softwaretechnik; Natural Language Processing; Artificial Intelligence; Program Synthesis; End-user Programming; Software Engineering...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Aurkibidea: “...Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description)....”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Aurkibidea: “...Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. ....”
Link to Metadata

SYNTHESIS OF NEW N-HYDROXYPHENYL AND TOLYL DERIVATIVES OF PYRIMIDINE-4(1H) -ONE WITH ANTI-INFLAMMATORY ACTIVITY nork I. P. Kodonidi, O. O. Novikov, S. A. Kuleshova, Ju. I. Rjabukhin, S. S. Shatokhin, A. V. Ivchenko, M. I. Kodonidi, O. M. Zhilina

Connect to this object online.

xxAI - Beyond Explainable AI International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers /

Aurkibidea: “...Editorial -- xxAI - Beyond explainable Artificial Intelligence -- Current Methods and Challenges -- Explainable AI Methods - A Brief Overview -- Challenges in Deploying Explainable Machine Learning -- Methods for Machine Learning Models -- CLEVR-X: A Visual Reasoning Dataset for Natural Language Explanations -- New Developments in Explainable AI -- A Rate-Distortion Framework for Explaining Black-box Model Decisions -- Explaining the Predictions of Unsupervised Learning Models -- Towards Causal Algorithmic Recourse -- Interpreting Generative Adversarial Networks for Interactive Image Generation -- XAI and Strategy Extraction via Reward Redistribution -- Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis -- Interpreting and improving deep-learning models with reality checks -- Beyond the Visual Analysis of Deep Model Saliency -- ECQ^2: Quantization for Low-Bit and Sparse DNNs -- A whale's tail - Finding the right whale in an uncertain world -- Explainable Artificial Intelligence in Meteorology and Climate Science: Model fine-tuning, calibrating trust and learning new science -- An Interdisciplinary Approach to Explainable AI....”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Aurkibidea: “...Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems....”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Aurkibidea: “...Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! ...”
Link to Metadata