Popular repositories Loading
Repositories
- tensorflow-federated Public Forked from google-parfait/tensorflow-federated
An open-source framework for machine learning and other computations on decentralized data.
JetBrains-Research/tensorflow-federated’s past year of commit activity - peak-callers-analysis Public
Datasets analysis and comparison scripts for SPAN semi-supervised peak analyzer
JetBrains-Research/peak-callers-analysis’s past year of commit activity - the-complexity-trap Public
This repo accompanies the paper "The Complexity Trap: Simple Observation Masking Is as Efficient as LLM Summarization for Agent Context Management" presented at the Fourth Deep Learning for Code (DL4Code) workshop at NeurIPS 2025 and Tobias Lindenbauer's Master's Thesis.
JetBrains-Research/the-complexity-trap’s past year of commit activity - rocqstar-rag Public
BigRocq is a utility, that takes a Rocq (former Coq) project as input and uses domain knowladge to increase a number of theorems in the dataset by a significant factor.
JetBrains-Research/rocqstar-rag’s past year of commit activity - TestSpark Public
TestSpark - a plugin for generating unit tests. TestSpark natively integrates different AI-based test generation tools and techniques in the IDE. Started by SERG TU Delft. Currently under implementation by JetBrains Research (Software Testing Research) for research purposes.
JetBrains-Research/TestSpark’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…