-
Science
- Neutrino
-
04:32
(UTC -12:00)
Highlights
Lists (4)
Sort Name ascending (A-Z)
Stars
- All languages
- ASL
- Assembly
- Astro
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- CWeb
- Chapel
- CodeQL
- Common Lisp
- Cuda
- Cython
- Dafny
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F*
- Forth
- Fortran
- Go
- HCL
- HTML
- Harbour
- Haskell
- Inform 7
- Isabelle
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Macaulay2
- Makefile
- Markdown
- Mathematica
- Mermaid
- Mojo
- OCaml
- OpenQASM
- PHP
- Pascal
- Perl
- PostScript
- PowerShell
- Python
- R
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SVG
- Sail
- Scala
- Scheme
- Shell
- Smalltalk
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- Typst
- V
- Verilog
- Vim Script
- XSLT
- YAML
- YARA
- Zig
Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym [ICML 2025]
[NeurIPS 2025 D&B Spotlight] Scaling Data for SWE-agents
Live-SWE-agent: live, runtime self-evolving software engineering agent
Repository to reproduce the results from paper "The Tensor Algebra Compiler".
The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs
Quantum Transport Simulations at the Exascale and Beyond 🚀
About Example code of agentifying tau-bench for the blog `Agentify the Agent Assessment`.
This is the official repository for the IEEE TMI paper titled "Large Language Model with Region-Guided Referring and Grounding for CT Report Generation".
The repository provides code for running inference and finetuning with the Meta Segment Anything Model 3 (SAM 3), links for downloading the trained model checkpoints, and example notebooks that sho…
Paper2Agent is a multi-agent AI system that automatically transforms research papers into interactive AI agents with minimal human input.
Skywork-R1V is an advanced multimodal AI model series developed by Skywork AI, specializing in vision-language reasoning.
DeepResearchAgent is a hierarchical multi-agent system designed not only for deep research tasks but also for general-purpose task solving. The framework leverages a top-level planning agent to coo…
Unleashing the Power of Reinforcement Learning for Math and Code Reasoners
OSS-Fuzz - continuous fuzzing for open source software.
Implementation for the paper: CMoE: Fast Carving of Mixture-of-Experts for Efficient LLM Inference
A curated collection of system prompts, methodologies, and case studies for deep, structured, and creative collaboration with Large Language Models (LLMs). Designed for thinkers, writers, and build…
Simulated Marketplace - LLM-Powered Freelance Market Simulation