ZIYU-DEEP

camel

🐫 CAMEL: Finding the Scaling Law of Agents. The first and the best multi-agent framework. https://www.camel-ai.org

AAAI-2021-Paper-List-of-Anomaly-Detection

A list of accepted papers in AAAI 2021 about anomaly detection.

Awesome-Autoencoders-for-Representation-Learning

A curated list on the literature of autoencoders for representation learning.

Awesome-Information-Bottleneck

This is a curated list for Information Bottleneck Principle, in memory of Professor Naftali Tishby.

Awesome-Papers-on-Combinatorial-Semi-Bandit-Problems

A curated list on papers about combinatorial multi-armed bandit problems.

Bias-in-Deep-Anomaly-Detection-PyTorch

This is the code repository for the IJCAI-21 paper "Understanding the Effect of Bias in Deep Anomaly Detection".

Generalization-and-Memorization-in-Sparse-Training

This is the repository for the SNN-22 Workshop paper on "Generalization and Memorization in Sparse Neural Networks".

Papers-on-Anomaly-Detection-in-NeurIPS-2020

A list of all papers related to anomaly detection in NeurIPS 2020.

Reasoning-in-Reasoning

RL-Reading-Group

Reading papers, bit by bit.

ZIYU-DEEP/Awesome-Information-Bottleneck

This is a curated list for Information Bottleneck Principle, in memory of Professor Naftali Tishby.

ZIYU-DEEP/Reasoning-in-Reasoning

ZIYU-DEEP/Predicting-Terrorist-Attack-Using-Machine-Learning

This project provides a machine learning pipeline to predict terrorist attack.

ZIYU-DEEP/agent-search

AgentSearch, by SciPhi, is a powerful agent-first rag-client and search engine.

ZIYU-DEEP/camel

🐫 CAMEL: Communicative Agents for “Mind” Exploration of Large Scale Language Model Society

ZIYU-DEEP/Conformers

Unofficial implementation of Conformal Language Modeling by Quach et al

ZIYU-DEEP/easy-to-hard

Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision

ZIYU-DEEP/gemini-benchmark

ZIYU-DEEP/gemma

Open weights LLM from Google DeepMind.

ZIYU-DEEP/hidden

ZIYU-DEEP/ijepa

Official codebase for I-JEPA, the Image-based Joint-Embedding Predictive Architecture. First outlined in the CVPR paper, "Self-supervised learning from images with a joint-embedding predictive architecture."

ZIYU-DEEP/ijepa-pos

ZIYU-DEEP/information-agents

adding rag to test this benchmark

ZIYU-DEEP/LiveCodeBench

Official repository for the paper "LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code"

ZIYU-DEEP/llemma_formal2formal

Llemma formal2formal (tactic prediction) theorem proving experiments

ZIYU-DEEP/mctx

Monte Carlo tree search in JAX

ZIYU-DEEP/mechanics-of-proof

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

ZIYU-DEEP/miniF2F-lean4

ZIYU-DEEP/minillm-test

ZIYU-DEEP/ntptutorial

Tutorial on neural theorem proving

ZIYU-DEEP/openai-cookbook

Examples and guides for using the OpenAI API

ZIYU-DEEP/ReProver

Retrieval-Augmented Theorem Provers for Lean

ZIYU-DEEP/reprover-test

ZIYU-DEEP/scalax

A simple library for scaling up JAX programs

ZIYU-DEEP/search_with_lepton

Building a quick conversation-based search demo with Lepton AI.

ZIYU-DEEP/theorem-proving-reasoning

Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf

ZIYU-DEEP/transformers

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

ZIYU-DEEP/trlx-pythia

Finetune Pythia models using TRLx library with Anthropic helpful dataset

ZIYU-DEEP/vampire

The Vampire Theorem Prover

ZIYU-DEEP/vissl-probe

VISSL is FAIR's library of extensible, modular and scalable components for SOTA Self-Supervised Learning with images.