Elixir for Automated Reasoning - David Fuenmayor | ElixirConf EU 2025

CodeSync · August 19, 2025, 1:00pm

This talk was recorded at ElixirConf EU 2025. If you’re curious about our upcoming event, check https://elixirconf.eu

Abstract:
We unveil Elixir as a language and ecosystem that is exceptionally well-suited for automated reasoning. After a brief introduction to the technical concepts of “reasoning” and its “automation” as they are understood in academic literature, we share our experiences teaching the “Automation of Logical Reasoning” course using Elixir and Livebook over the past two summers. We also discuss plans to leverage the Nx ecosystem for research and development in hybrid symbolic-subsymbolic AI systems, and highlight the features of Elixir that we believe make it so effective for automated reasoning, illustrating them with examples: a pragmatic approach to functional programming and immutability; powerful pattern matching; first-class actor-based concurrency; an expressive set-theoretic type system; straightforward metaprogramming capabilities; and, last but not least, the extensive BEAM ecosystem, which eases the transition from theoretical proof-of-concepts to practical, real-world applications.

Comments welcome! View the code-sync and elixirconf-eu tags for more Code Sync and ElixirConf EU talks!