minimario

minimario's Stars

• dair-ai/Prompt-Engineering-Guide

  🐙 Guides, papers, lecture, notebooks and resources for prompt engineering

  Language:MDX51.8k5702075k

• alex/what-happens-when

  An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"

  40.6k6872905.6k

• fauxpilot/fauxpilot

  FauxPilot - an open-source alternative to GitHub Copilot server

  Language:Python14.6k121133631

• salesforce/CodeGen

  CodeGen is a family of open-source model for program synthesis. Trained on TPU-v4. Competitive with OpenAI Codex.

  Language:Python5k8176382

• AakashKumarNain/annotated_research_papers

  This repo contains annotated research papers that I found really good and useful

  2.7k2115261

• louisfb01/Best_AI_paper_2020

  A curated list of the latest breakthroughs in AI by release date with a clear video explanation, link to a more in-depth article, and code

  2.2k800238

• davda54/sam

  SAM: Sharpness-Aware Minimization (PyTorch)

  Language:Python1.8k1282195

• arxiv-vanity/arxiv-vanity

  Renders papers from arXiv as responsive web pages so you don't have to squint at a PDF.

  Language:Python1.6k2314194

• bgavran/Category_Theory_Machine_Learning

  List of papers studying machine learning through the lens of category theory

  Language:Python1.3k71078

• atfortes/LLM-Reasoning-Papers

  Collection of papers and resources on Reasoning in Large Language Models (LLMs), including Chain-of-Thought (CoT), Instruction-Tuning, and others.

  82323038

• optimass/continual_learning_papers

  Relevant papers in Continual Learning

  Language:TeX72537782

• lean-dojo/LeanDojo

  Tool for data extraction and interacting with Lean programmatically.

  Language:Python591146794

• sampsyo/bril

  an educational compiler intermediate representation

  Language:Rust5821451242

• jeffhj/LM-reasoning

  This repository contains a collection of papers and resources on Reasoning in Large Language Models.

  54718734

• locuslab/smoothing

  Provable adversarial robustness at ImageNet scale

  Language:Python37712974

• lupantech/dl4math

  Resources of deep learning for mathematical reasoning (DL4MATH).

  34520127

• mitmath/matrixcalc

  MIT IAP short course: Matrix Calculus for Machine Learning and Beyond

  Language:Jupyter Notebook32818345

• OverLordGoldDragon/see-rnn

  RNN and general weights, gradients, & activations visualization in Keras & TensorFlow

  Language:Python17931621

• shaohua0116/awesome-program

  A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic reinforcement learning.

  15611017

• HarvardPL/formulog

  Datalog with support for SMT queries and first-order functional programming

  Language:Java155122410

• montrealrobotics/La-MAML

  Official Code Repository for La-MAML: Look-Ahead Meta-Learning for Continual Learning"

  Language:Python735219

• huggingface/that_is_good_data

  65813

• benlipkin/linc

  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]

  Language:Jupyter Notebook55328

• EleutherAI/aria

  Language:Python424011

• boazbk/mltheoryseminar

  Language:Jupyter Notebook209010

• mit-frap/spring21

  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021

  Language:Coq18506

• ckzbullbullet/TP-N2F

  TP-N2F model

  Language:Python13321

• amtseng/fourier_attribution_priors

  An attribution prior for deep learning based on Fourier transforms

  Language:Jupyter Notebook12201

• ihsuy/Train-by-Reconnect

  Official code for the NeurIPS 2020 paper Train by Reconnect: Decoupling Locations of Weights from Their Values by Yushi Qiu and Reiji Suda.

  Language:Jupyter Notebook9101

• sunblaze-ucb/SED

  Language:Python5712