DigitalTwinMind / ActiveInferenceLacanLinks
An active inference model of Lacanian psychoanalysis
☆10Updated 10 months ago
Alternatives and similar repositories for ActiveInferenceLacan
Users that are interested in ActiveInferenceLacan are comparing it to the libraries listed below
Sorting:
- scrapper for various science databases☆11Updated last year
- Machine Learning for Mathematical Formalization☆11Updated 10 months ago
- Article Analysis Assistant☆17Updated 3 months ago
- 🦠 DeepDecipher: An open source API to MLP neurons☆9Updated last year
- An open, comprehensive catalog of scholarship, connecting papers, authors, institutions, and journals.☆10Updated last year
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- A registry of tutorials, workshop material, videos and other educational resources to help you learn more about DataLad.☆13Updated last year
- ☆12Updated 10 months ago
- LLMs sitting on a council together to decide, by consensus, who among them is the best.☆15Updated 3 weeks ago
- Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset☆16Updated last year
- Automaton & Cognition☆16Updated last year
- Interfacing with Large Language Models (remote and local) from Lean.☆26Updated 10 months ago
- The Free Life Planner Reference Manual☆11Updated 2 weeks ago
- Repository for PsychoEvals - a framework for LLM security, psychoanalysis, and moderation.☆17Updated 2 years ago
- This repository contains code for data preparation and experiments for pre training llm with repository level context in various ways☆11Updated last year
- Formalisation of the Kelley-Meka bound on Roth numbers☆17Updated last week
- ☆25Updated 4 years ago
- Experiments with interactive theorem provers, LLMs and formal systems☆20Updated last year
- Ti𝑘Z diagrams of mathemes from Lacanian psychoanalysis☆37Updated 3 years ago
- A Domain-Specific Language (DSL) for designing experiments in psychology☆14Updated 3 years ago
- 🌄 Intro to the second renaissance: this time between worlds and associated emerging ecosystem. Aka liminal web, metamodern, teal, integr…☆11Updated 3 months ago
- Search comments and highlights annotations in PDF documents.☆12Updated 2 years ago
- ☆12Updated 7 months ago
- A Temporal Networks Library written in Python☆13Updated 3 years ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆26Updated this week
- Integrating Symbolic Programming and Neuromorphic Modeling with NVIDIA Jetson, DGX Spark, and GPU-based DNN/ML Systems for Edge Labs☆12Updated last week
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Reference datasets for folktale motifs, tale types, and annotated texts☆12Updated last week
- Llemma formal2formal (tactic prediction) theorem proving experiments☆20Updated last year
- A search engine built on the Unpaywall database☆20Updated last year