| Faults in Our Formal Benchmarking: Dataset Defects and Evaluation Failures in Lean Theorem Proving added by Syntology |
2026-06 (from id) |
leanprover/lean4/script/diff_changelogs.py 75564b0335312c63 |
unverified |
Apache-2.0 (permissive) |
| A Verifiable Search Is Not a Learnable Chain-of-Thought added by Syntology |
2026-06 (from id) |
harshpatel1692/search-not-learnable/pipeline/bit_bfs.py 9199b3294ad7243d |
ran
fingerprinted |
licence not identified · pointer only |
| Implicit Geographic Inference in LLM Medical Triage: Language-Driven Disparities in Emergency Recommendations added by Syntology |
2026-06 (from id) |
wongqihan/ai-behavioral-experiments/multilingual-medical-triage/run_french_russian.py 391c1b0d7d59effb |
ran
fingerprinted |
MIT (permissive) |
| Implicit Geographic Inference in LLM Medical Triage: Language-Driven Disparities in Emergency Recommendations added by Syntology |
2026-06 (from id) |
wongqihan/ai-behavioral-experiments/multilingual-medical-triage/run_us_anchor_fr_ru.py 677780718b58e3e8 |
ran
fingerprinted |
MIT (permissive) |
| The Translation Tax Is Not a Scalar: A Counterfactual Audit of English-Source Cue Inheritance in Chinese Multilingual Benchmarks added by Syntology |
2026-05 (from id) |
chi-mi-rvard/translation-tax-supplement/run_include_lean.py 337f42888f9dfd0a |
ran
fingerprinted |
licence not identified · pointer only |
| Psychological Steering of Large Language Models added by Syntology |
2026-04 (from id) |
kaistAI/FLASK/metadata_annotation/skillset/skillset_annotation.py 11f5c18cf7453f16 |
ran · honoured contract
|
no licence file found · pointer only |
| Coarsening Causal DAG Models added by Syntology |
2026-01 (from id) |
juangamella/causal-chamber/hardware/control/messages.py 050c08a1cc92003e |
unverified |
CC-BY-4.0 · pointer only |
| PIGDreamer: Privileged Information Guided World Models for Safe Partially Observable Reinforcement Learning added by Syntology |
2025-08 (from id) |
hggforget/PIGDreamer/plot/plot.py ede523101bd6a1ef |
unverified |
no licence file found · pointer only |
| PIGDreamer: Privileged Information Guided World Models for Safe Partially Observable Reinforcement Learning added by Syntology |
2025-08 (from id) |
hggforget/PIGDreamer/plot/plot_single.py f4a50bba33ba9b89 |
unverified |
no licence file found · pointer only |
| Self-Critique and Refinement for Faithful Natural Language Explanations |
28 May 2025 |
ymwangv/SR-NLE/src/modules/refinement_generator.py 0011e2b3c7468a9f |
ran · our draft was wrong
fingerprinted |
no licence file found · pointer only |
| LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming |
21 May 2025 |
Aditi1612/Grammar-based-test-case-generation/src/counting_context_free_grammar/counting_context_free_grammar.py 7ecc2b0e46187127 |
unverified |
licence not identified · pointer only |
| Game-theoretic LLM: Agent Workflow for Negotiation Games |
8 Nov 2024 |
wenyueh/game_theory/src/sequential_game_agent.py 320f7ca1127101c9 |
unverified |
Apache-2.0 (permissive) |
| Game-theoretic LLM: Agent Workflow for Negotiation Games |
8 Nov 2024 |
wenyueh/game_theory/src/deal_no_deal/deal_no_deal.py d7ba30c8b087493a |
unverified |
Apache-2.0 (permissive) |
| A Simple yet Effective Training-free Prompt-free Approach to Chinese Spelling Correction Based on Large Language Models |
5 Oct 2024 |
mozillazg/python-pinyin/gen_phrases_dict.py d95e439c609fdab6 |
unverified |
MIT (permissive) |
| TabEBM: A Tabular Data Augmentation Method with Distinct Class-Specific Energy-Based Models |
24 Sep 2024 |
jgraph/drawio/etc/i18n/check-translations.py c3d7cbcf3bfd5566 |
ran
|
Apache-2.0 (permissive) |
| PASSION: Towards Effective Incomplete Multi-Modal Medical Image Segmentation with Imbalanced Missing Rates |
20 Jul 2024 |
jun-jie-shi/passion/code/utils/parser.py 8a289ba730141ed4 |
ran
|
Apache-2.0 (permissive) |
| LLM-A*: Large Language Model Enhanced Incremental Heuristic Search on Path Planning |
20 Jun 2024 |
SilinMeng0510/llm-astar/llmastar/utils/utils.py e4695eb63c674f80 |
ran
fingerprinted |
MIT (permissive) |
| KernelWarehouse: Rethinking the Design of Dynamic Convolution |
12 Jun 2024 |
OSVAI/KernelWarehouse/detection/mmdet/models/backbones/kernel_warehouse.py f2bf9f878ee4c85c |
ran · fixture could not drive it
fingerprinted |
Apache-2.0 (permissive) |
| KernelWarehouse: Rethinking the Design of Dynamic Convolution |
12 Jun 2024 |
osvai/kernelwarehouse/modules/kernel_warehouse.py 0ef7571bb962c569 |
ran · honoured contract
fingerprinted |
Apache-2.0 (permissive) |
| Audio Mamba: Selective State Spaces for Self-Supervised Audio Representations |
4 Jun 2024 |
SarthakYadav/audio-mamba-official/stats_aggregation.py 4eddf0f5b7f45b95 |
ran
|
MIT (permissive) |
| Photo-Realistic Image Restoration in the Wild with Controlled Vision-Language Models |
15 Apr 2024 |
algolzw/daclip-uir/universal-image-restoration/config/daclip-sde/options.py 9a64f79c73dd7f45 |
unverified |
MIT (permissive) |
| Structure Matters: Tackling the Semantic Discrepancy in Diffusion Models for Image Inpainting |
29 Mar 2024 |
htyjers/StrDiffusion/train/discriminator/config/inpainting/options.py 2178a45bccb10af5 |
unverified |
Apache-2.0 (permissive) |
| Learning A Physical-aware Diffusion Model Based on Transformer for Underwater Image Enhancement |
3 Mar 2024 |
chenydong/pa-diff/core/logger.py 7ab62e92dd308cad |
unverified |
Apache-2.0 (permissive) |
| ArtPrompt: ASCII Art-based Jailbreak Attacks against Aligned LLMs |
19 Feb 2024 |
uw-nsl/ArtPrompt/utils/dataset.py 48cf084f7ea0ecf5 |
ran
|
MIT (permissive) |
| DP-AdamBC: Your DP-Adam Is Actually DP-SGD (Unless You Apply Bias Correction) |
21 Dec 2023 |
ubc-systopia/DP-AdamBC/jax_implementation/configlib.py c5ea6e2b814f150f |
unverified |
no licence file found · pointer only |
| Regularity as Intrinsic Reward for Free Play |
3 Dec 2023 |
orybkin/lexa-benchmark/envs/utils.py b0f5a468ceda2eaf |
unverified |
no licence file found · pointer only |
| DREAM: Diffusion Rectification and Estimation-Adaptive Models |
30 Nov 2023 |
jinxinzhou/dream/sr3/core/logger.py f03c72874fba460b |
unverified |
no licence file found · pointer only |
| Neural Degradation Representation Learning for All-In-One Image Restoration |
19 Oct 2023 |
mdyao/NDR-Restore/options/options.py 7965a5360a9aa1ef |
unverified |
MIT (permissive) |
| arXiv:2310.01551 |
2023-10 (from id) |
SullivanC19/pydl8.5-topk/topk/algorithms/run_topk.py 1cb9a08d9eab549a |
unverified |
MIT (permissive) |
| Controlling Vision-Language Models for Multi-Task Image Restoration |
2 Oct 2023 |
Algolzw/daclip-uir/universal-image-restoration/config/daclip-sde/options.py 9a64f79c73dd7f45 |
unverified |
MIT (permissive) |
| Turbulence in Focus: Benchmarking Scaling Behavior of 3D Volumetric Super-Resolution with BLASTNet 2.0 Data |
23 Sep 2023 |
Kaggle/kaggle-api/src/kaggle/models/kaggle_models_extended.py 90d1e4174673373a |
ran
|
Apache-2.0 (permissive) |
| ChatEDA: A Large Language Model Powered Autonomous Agent for EDA |
20 Aug 2023 |
wuhy68/chatedav1/api_doc/parse_mk_config.py 5d99dfd7eb603c7b |
unverified |
Apache-2.0 (permissive) |
| Realistic Full-Body Tracking from Sparse Observations via Joint-Level Modeling |
17 Aug 2023 |
zxz267/AvatarJLM/utils/utils_option.py 630044843d91b1bb |
ran
|
MIT (permissive) |
| FLASK: Fine-grained Language Model Evaluation based on Alignment Skill Sets |
20 Jul 2023 |
kaistai/flask/metadata_annotation/skillset/skillset_annotation.py 11f5c18cf7453f16 |
ran · honoured contract
|
no licence file found · pointer only |
| MoTIF: Learning Motion Trajectories with Local Implicit Neural Functions for Continuous Space-Time Video Super-Resolution |
16 Jul 2023 |
sichun233746/MoTIF/option.py 6ffd122e30ed6f08 |
unverified |
no licence file found · pointer only |
| Chain-of-Symbol Prompting Elicits Planning in Large Langauge Models |
17 May 2023 |
hanxuhu/chain-of-symbol-planning/eval/eval_prompt.py 0d51053a2240af38 |
ran · our draft was wrong
fingerprinted |
no licence file found · pointer only |
| arXiv:2304.12939 |
2023-04 (from id) |
mido/mido/mido/parser.py c499417f07d17ebe |
unverified |
MIT (permissive) |
| Waving Goodbye to Low-Res: A Diffusion-Wavelet Approach for Image Super-Resolution |
4 Apr 2023 |
brian-moser/diwa/core/logger.py 27e812d0b0c57e37 |
unverified |
Apache-2.0 (permissive) |
| The 2022 n2c2/UW Shared Task on Extracting Social Determinants of Health |
13 Jan 2023 |
romanows/sdoh-n2c2/n2c2_ss/brat.py 539756385061b279 |
unverified |
MIT recorded; this copy not marked cleared · pointer only |
| Understanding the Impact of Adversarial Robustness on Accuracy Disparity |
28 Nov 2022 |
Accuracy-Disparity/AT-on-AD/process_data.py 7b8fce327dcfb982 |
unverified |
no licence file found · pointer only |
| Unsupervised Object Representation Learning using Translation and Rotation Group Equivariant VAE |
24 Oct 2022 |
smlc-nysbc/target-vae/src/mrc.py e23c9b574323efb9 |
unverified |
MIT (permissive) |
| AT-DDPM: Restoring Faces degraded by Atmospheric Turbulence using Denoising Diffusion Probabilistic Models |
24 Aug 2022 |
nithin-gk/at-ddpm/core/logger.py 27e812d0b0c57e37 |
unverified |
Apache-2.0 (permissive) |
| Flow-Guided Transformer for Video Inpainting |
14 Aug 2022 |
hitachinsk/FGT/FGT/parse.py 8fe8568379d37392 |
unverified |
MIT (permissive) |
| AvatarPoser: Articulated Full-Body Pose Tracking from Sparse Motion Sensing |
27 Jul 2022 |
eth-siplab/avatarposer/utils/utils_option.py f15df57ab75e961b |
unverified |
MIT (permissive) |
| MultiViz: Towards Visualizing and Understanding Multimodal Models |
30 Jun 2022 |
pliang279/MultiViz/structured-framework/models/clevr_mdetr.py 659d624c15f7085b |
unverified |
MIT (permissive) |
| MultiViz: Towards Visualizing and Understanding Multimodal Models |
30 Jun 2022 |
pliang279/MultiViz/structured-framework/models/flickr30k_clip.py d0dfe0fc19a24f76 |
unverified |
MIT (permissive) |
| DDPM-CD: Denoising Diffusion Probabilistic Models as Feature Extractors for Change Detection |
23 Jun 2022 |
wgcban/ddpm-cd/core/logger.py ebcbfae053892594 |
unverified |
MIT (permissive) |
| mmFormer: Multimodal Medical Transformer for Incomplete Multimodal Learning of Brain Tumor Segmentation |
6 Jun 2022 |
yaozhang93/mmformer/mmformer/utils/parser.py 8d95807841fa86b8 |
unverified |
Apache-2.0 (permissive) |
| A Neural Network Architecture for Program Understanding Inspired by Human Behaviors |
10 May 2022 |
c2nes/javalang/javalang/javadoc.py dfeacfa37a441cb3 |
unverified |
MIT (permissive) |
| Constrained Policy Optimization via Bayesian World Models |
24 Jan 2022 |
yardenas/la-mbda/experiments/plot.py d7d477df4bbd828d |
unverified |
MIT (permissive) |
| Text Prior Guided Scene Text Image Super-resolution |
29 Jun 2021 |
mjq11302010044/TPGSR/utils/utils_option.py f1a1102fda28175b |
ran · our draft was wrong
|
MIT (permissive) |
| Quasi-Bayesian Dual Instrumental Variable Regression |
16 Jun 2021 |
meta-inf/qbdiv/exps/runner/utils.py 41ace11cbdcbfc25 |
unverified |
MIT (permissive) |
| CMUA-Watermark: A Cross-Model Universal Adversarial Watermark for Combating Deepfakes |
23 May 2021 |
vdigpku/cmua-watermark/model_data_prepare.py b27511e26968bb40 |
unverified |
MIT (permissive) |
| CMUA-Watermark: A Cross-Model Universal Adversarial Watermark for Combating Deepfakes |
23 May 2021 |
vdigpku/cmua-watermark/AttGAN/attack_attgan.py ff1150bb48d8be90 |
unverified |
MIT (permissive) |
| Unchain the Search Space with Hierarchical Differentiable Architecture Search |
11 Jan 2021 |
msight-tech/research-HDAS/models/search_stage.py c145b4b1d1132a1d |
ran · our draft was wrong
|
licence not identified · pointer only |
| SRFlow: Learning the Super-Resolution Space with Normalizing Flow |
25 Jun 2020 |
liyuantsao/BFSR/SRFlow-LP/code/options/options.py 7738c4d667301cd0 |
unverified |
no licence file found · pointer only |
| AFDet: Anchor Free One Stage 3D Object Detection |
23 Jun 2020 |
chowkamlee81/CentrePointNet/det3d/visualization/netviz.py 50ded6a49b80467e |
unverified |
MIT (permissive) |
| Invertible Image Rescaling |
12 May 2020 |
JoegameZhou/ms-irn/src/options/options.py df072befe275ec6a |
unverified |
Apache-2.0 (permissive) |
| SOLOIST: Building Task Bots at Scale with Transfer Learning and Machine Teaching |
11 May 2020 |
pengbaolin/soloist/examples/reminderbot/reminderbot_server.py 4c64232520600a53 |
unverified |
MIT (permissive) |
| Practical Comparable Data Collection for Low-Resource Languages via Images |
24 Apr 2020 |
madaan/pml4dc-comparable-data-collection/src/find_token_alignments.py 96bf801a5915bca6 |
ran · our draft was wrong
|
no licence file found · pointer only |
| TF-Coder: Program Synthesis for Tensor Manipulations |
19 Mar 2020 |
google-research/tensorflow-coder/tf_coder_colab_logging/serialization.py 96d83889ae3ee17c |
unverified |
Apache-2.0 (permissive) |
| Self-Enhanced GNN: Improving Graph Neural Networks Using Model Outputs |
18 Feb 2020 |
yang-han/Self-Enhanced_GNN/tna_parser.py e59b190126690ed3 |
unverified |
MIT (permissive) |
| Deeper Insights into Weight Sharing in Neural Architecture Search |
6 Jan 2020 |
ultmaster/deeper-insights-weight-sharing/genotypes.py 7ac97563dbd4f579 |
unverified |
MIT (permissive) |
| End-to-End Model-Free Reinforcement Learning for Urban Driving using Implicit Affordances |
25 Nov 2019 |
valeoai/LearningByCheating/misc/find_traffic_violations.py c0f945e63447e7a1 |
unverified |
MIT (permissive) |
| Satellite Image Time Series Classification with Pixel-Set Encoders and Temporal Self-Attention |
18 Nov 2019 |
maja601/pytorch-psetae/dataset.py 783c8681f14587b8 |
unverified |
MIT (permissive) |
| SCALOR: Generative World Models with Scalable Object Representations |
6 Oct 2019 |
JindongJiang/SCALOR/parse.py c29ca203af0ec2ba |
unverified |
MIT (permissive) |
| Bridging the domain gap in cross-lingual document classification |
16 Sep 2019 |
laiguokun/xlu-data/cross-lingual-amazon/parse-acl10.py d571bc0c8db12660 |
unverified |
no licence file found · pointer only |
| Class-balanced Grouping and Sampling for Point Cloud 3D Object Detection |
26 Aug 2019 |
poodarchu/Det3D/det3d/visualization/netviz.py 50ded6a49b80467e |
unverified |
Apache-2.0 (permissive) |
| Cross-Domain Generalization of Neural Constituency Parsers |
9 Jul 2019 |
identical code first harvested elsewhere d73ae4737d0072dc |
ran · our draft was wrong
|
licence of this copy not recorded |
| IRNet: A General Purpose Deep Residual Regression Framework for Materials Discovery |
7 Jul 2019 |
lyqcom/irn/src/options/options.py df072befe275ec6a |
unverified |
Apache-2.0 (permissive) |
| EDVR: Video Restoration with Enhanced Deformable Convolutional Networks |
7 May 2019 |
zhusiling/EDVR/codes/options/options.py ce4ad67a16f94299 |
unverified |
Apache-2.0 (permissive) |
| LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models |
6 Mar 2019 |
bradleygramhansen/PyLFPPL/pyppl/parser.py 09856c92b626bf2f |
unverified |
MIT (permissive) |
| Multilingual Constituency Parsing with Self-Attention and Pre-Training |
31 Dec 2018 |
identical code first harvested elsewhere d73ae4737d0072dc |
ran · our draft was wrong
|
licence of this copy not recorded |
| Symbolic Execution for Deep Neural Networks |
2018-07 (from id) |
Koukyosyumei/Gymbo/src/gymbo/parser.py 939c9dd94329dc79 |
unverified |
MIT (permissive) |
| DARTS: Differentiable Architecture Search |
24 Jun 2018 |
anonNo2/MulTeacher-KD/models/search_cnn.py 6eb89877ec75f088 |
ran
|
no licence file found · pointer only |
| DARTS: Differentiable Architecture Search |
24 Jun 2018 |
KnightZhang625/DARTS_NAS_TextClassification/genotypes.py ae11f865c7d70581 |
unverified |
MIT (permissive) |
| Relational Deep Reinforcement Learning |
5 Jun 2018 |
inoryy/reaver/reaver/envs/gym.py c9c02de53f161dbb |
unverified |
MIT (permissive) |
| AutoAugment: Learning Augmentation Policies from Data |
24 May 2018 |
abcp4/DAPytorch/genotypes.py ae11f865c7d70581 |
unverified |
MIT (permissive) |
| Syntax-Directed Variational Autoencoder for Structured Data |
24 Feb 2018 |
Hanjun-Dai/sdvae/mol_vae/cfg_parser/cfg_parser.py 0373d0c88b91050c |
unverified |
MIT (permissive) |
| AttGAN: Facial Attribute Editing by Only Changing What You Want |
29 Nov 2017 |
elvisyjlin/AttGAN-PyTorch/test_multi.py 07f34ea31c2d8492 |
unverified |
MIT (permissive) |
| OpenFermion: The Electronic Structure Package for Quantum Computers |
2017-10 (from id) |
qchemsoftware/openfermion-qchem/openfermionqchem/_qchem_parser.py e06d6ed50efaf55a |
unverified |
Apache-2.0 (permissive) |
| Modeling Relational Data with Graph Convolutional Networks |
17 Mar 2017 |
tkipf/relational-gcn/rgcn/data_utils.py 241fcba67ca4a269 |
unverified |
MIT (permissive) |
| PointNet: Deep Learning on Point Sets for 3D Classification and Segmentation |
2 Dec 2016 |
yangyucheng000/pointnet/EGnet/postprocess.py 3d6091bb44a57125 |
unverified |
Apache-2.0 (permissive) |
| Photo-Realistic Single Image Super-Resolution Using a Generative Adversarial Network |
15 Sep 2016 |
shirsenduhalder/SRResGAN-Improved-Perceptual/options/options.py 971e71ea279782e6 |
unverified |
MIT (permissive) |
| Efficient and robust approximate nearest neighbor search using Hierarchical Navigable Small World graphs |
30 Mar 2016 |
kakao/n2/benchmarks/compare.py 8ab19cdee9a46e74 |
unverified |
Apache-2.0 (permissive) |
| Efficient and robust approximate nearest neighbor search using Hierarchical Navigable Small World graphs |
30 Mar 2016 |
kakao/n2/benchmarks/visualize.py 9765c8d022e20684 |
unverified |
Apache-2.0 (permissive) |
| Recurrent Neural Network Grammars |
25 Feb 2016 |
dpfried/rnng-bert/scripts/bert_parse.py d73ae4737d0072dc |
ran · our draft was wrong
|
no licence file found · pointer only |
| TinyLFU: A Highly Efficient Cache Admission Policy |
2015-12 (from id) |
ben-manes/caffeine/.claude/skills/audit-regret/regret.py 46a1008335dcf47f |
unverified |
Apache-2.0 (permissive) |
| TinyLFU: A Highly Efficient Cache Admission Policy |
2015-12 (from id) |
ben-manes/caffeine/.claude/skills/climber-gate/blindlock.py f807c6a993793262 |
unverified |
Apache-2.0 (permissive) |
| arXiv:ijcai2022_0196 |
|
wanghu178/KUNet/codes/options/options.py 3759115dd8cbb31e |
unverified |
MIT (permissive) |
| arXiv:aaai_19982 |
|
VDIGPKU/CMUA-Watermark/model_data_prepare.py b27511e26968bb40 |
unverified |
MIT (permissive) |
| arXiv:Xie_Diffusion-based_Event_Generation_for_High-Quality_Image_Deblurring_CVPR_2025_paper |
|
XinanXie/EGDeblurring/core/logger.py 27e812d0b0c57e37 |
unverified |
Apache-2.0 (permissive) |
| arXiv:2025.naacl-long.14 |
|
vectara/mirage-bench/mirage_bench/evaluate/util.py 990c4afb16346a56 |
unverified |
Apache-2.0 (permissive) |
| arXiv:2024.findings-emnlp.575 |
|
shirley-wu/vdebugger/vdebugger/infer_critic.py f6bdb4490cc2b29f |
unverified |
Apache-2.0 (permissive) |