Popular GitHub Repositories for Satisfiability Modulo Theories

Model Merging in LLMs, MLLMs, and Beyond: Methods, Theories, Applications and Opportunities. arXiv:2408.07666.

This series uncovers the most valuable insights from groundbreaking books in AI, Machine Learning, and Data Science, helping you accelerate your learning journey. Each episode transforms complex theories into practical knowledge, making advanced topics more accessible and actionable.

Adaptation of the merging method described in the paper - Git Re-Basin: Merging Models modulo Permutation Symmetries (https://arxiv.org/abs/2209.04836) for Stable Diffusion

Explore a comprehensive collection of basic theories, applications, papers, and best practices about Large Language Models (LLMs) in genomes.

This is official code for the NAACL 2021 paper: "MelBERT: Metaphor Detection via Contextualized Late Interaction usingMetaphorical Identification Theories".

Barnacle is a unique chatbot project, built on the principles of Carl Jung's theories of archetypes and the collective unconscious.

Biblioteca escrita para utilização de modulo LoRa com comunicação via UART no ESPIDF

This project explores the creation of a conversational AI bot that can discuss philosophical concepts and theories with users. The aim is to outline the process to create a finalised bot that can engage in discussions, provide insights, and ask questions to promote critical thinking and learning.

Verifying decision tree ensembles using propositional satisfiability

Using Anthropic's Claude 3 Opus to solve SAT problems with symbolic tool use.

This is my MS Thesis named "Conspiracy Theories vs Critical Thinking Using an Ensemble of Transformers and Large Language Models"

Comparative benchmark of SMT solver effectiveness in cryptographic hash collision discovery for SHA-2 algorithms.

Applying Meta-Heuristics and Evolutionary methods ( Genetic Algorithm, Particle Swarm Optimization ) on MAX-3-SAT problem.

? Classification of pathologies column using propositional logic satisfiability algorithms.

A collection of multidisciplinary theories refined in collaboration with recursive AI