existential-coinduction-experiments
Trying to do existential proofs with coinductive values.
https://github.com/armbrustlab/trophic-mode-ml
Accompanying code for 'The dynamic trophic architecture of open-ocean protist communities revealed through machine-guided metatranscriptomics.'
indiv_encounters_for_paper
This is the source code for the paper that "Individual matchups with neighbouring competitors are disproportionate between species and thorough life stages in a temperate mixed forest" by Chinatsu Homma et al.
https://github.com/artificialzeng/qwen-7b
The official repo of Qwen-7B (通义千问-7B) chat & pretrained large language model proposed by Alibaba Cloud.
marlin
MARLIN: a Co-design Methodology for Approximate ReconfigurabLe Inference of Neural Networks at the Edge
berteam
Transformer architecture designed to learn optimal team choice in multi-agent adversarial games
https://github.com/data-science-in-mechanical-engineering/dmpc-swarm
This is the accompanying repository for our paper: DMPC-Swarm: Distributed Model Predictive Control on Nano UAV Swarms
https://github.com/data-science-in-mechanical-engineering/rllbc
Algorithm library for the class "Reinforcement Learning and Learning-based Control" by the Institute for Data Science in Mechanical Engineering (DSME) at RWTH Aachen University.
