Type Theory Session Preview - POPL 2023
Explore type theory fundamentals and recent advancements in this expert-led session preview for POPL 2023, enhancing accessibility of upcoming talks.
Synthesizing Precise Static Analyzers for Automatic Differentiation
Explore Pasado, a technique for synthesizing precise static analyzers for Automatic Differentiation, improving precision in nonlinear operations and demonstrating applications in various domains.
Languages with Decidable Learning: A Meta-theorem
Explore finite-aspect checkable languages and their role in decidable learning, connecting expression syntax tree evaluation to finite tree automata for new learning results.
Explainable Program Synthesis by Localizing Specifications
Explore explainable program synthesis through subspecifications, enhancing implementation understanding with logical formulas. Learn algorithms for constructing and verifying subspecifications, their properties, and impact on code comprehension.
Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs
Explore algebro-geometric algorithms for template-based synthesis of polynomial programs, offering a scalable approach to program sketching without sacrificing completeness.
Deep Learning Robustness Verification for Few-Pixel Attacks
Explore a novel L0 robustness verifier for neural networks, addressing few-pixel attacks through dynamic programming, sampling, and covering designs to enhance verification efficiency.
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
Explore efficient question selection in Oracle-Guided Inductive Synthesis. Learn about LearnSy, a novel selector improving OGIS solver performance through effective and efficient optimization techniques.
WheaCha: An Explanation Method for Models of Code
Explore WheaCha, a novel method for explaining code model predictions by separating input programs into 'wheat' and 'chaff', demonstrating its efficiency and usefulness in identifying defective models.
ChatGPT Examples for Programming, InfoSec, and Fuzzing
Explore ChatGPT's versatility in programming, security, and daily tasks. Learn to create fuzzers, analyze code, find vulnerabilities, and leverage AI for various applications.
How to Use OpenAI ChatGPT with Chrome and MacOS Extensions
Explore ChatGPT extensions for Chrome and macOS, learning installation, chat saving, and sharing features. Discover AI-powered conversations and enhance your browsing experience.
A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source Projects
Explore a tool for creating platform-independent bots in open-source projects, enhancing automation and community interaction through a Domain-Specific Language.
Synthesizing Specifications - Automatic Generation of Program Behavior Descriptions
Explore automatic synthesis of program specifications using Spyro, a tool that generates precise L-properties based on user queries and domain-specific languages, applicable in various programming contexts.
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Explore an innovative approach to synthesizing relational queries with recursion and invented predicates, outperforming state-of-the-art baselines in runtime and accuracy.
Message Chains for Distributed System Verification
Explore an automated bookkeeping method using message chains to simplify verification of asynchronous distributed programs, revealing execution structure and aiding in system-level reasoning.
Synthesizing Efficient Memoization Algorithms
Explore an automated approach for synthesizing efficient memoization algorithms from declarative specifications, addressing challenges through novel synthesis techniques and evaluation on real-world benchmarks.
Equality Saturation Theory Exploration à la Carte
Explore Enumo, a new language for programmable theory exploration in equality saturation. Learn to guide rule inference, build rulesets, and develop strategies for optimizing compilers and synthesizers.
Hybrid Intelligence in Negotiation Processes
Explore hybrid intelligence in negotiation, combining human expertise with AI for enhanced decision-making. Learn about societal values, inclusivity, and real-world applications in this insightful keynote.
Major ChatGPT Upgrade - Canvas AI Features Hands-On
Explore OpenAI's ChatGPT upgrade featuring the 'Canvas' interface. Discover enhanced UI, seamless collaboration for writing and coding, and productivity-boosting capabilities in this hands-on demonstration.
Powerful Machine Learning at Your Fingertips - ElixirConf EU 2023
Explore efficient numerical computation and Neural Networks in Elixir using Nx, Axon, and Bumblebee. Learn to implement powerful machine learning models with minimal code.
How to Regulate Large Language Models - Lambda Days 2023
Explore the legal and societal risks of large language models, their impact on EU policy debates, and potential regulations for a human-centered AI approach in Europe.
FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explainability
Explore FOLD-SE, an efficient rule-based ML algorithm for classification tasks, offering scalable explainability and competitive performance with state-of-the-art methods.