DREN Tensorflow rotate mnist
☆11Mar 24, 2019Updated 6 years ago
Alternatives and similar repositories for DREN_Tensorflow
Users that are interested in DREN_Tensorflow are comparing it to the libraries listed below
Sorting:
- DREN:Deep Rotation Equivirant Network☆16Mar 24, 2019Updated 6 years ago
- Gesture detect by viola-jones and cnn(based on opencv and caffe), able to detect and classify 5 kinds of pose, best 3ms/perframe on ARM-F…☆27Dec 11, 2017Updated 8 years ago
- ☆61Mar 24, 2019Updated 6 years ago
- Experiments with Group Equivariant Convolutional Networks☆121Dec 17, 2018Updated 7 years ago
- 调用欧意的API接口实时计算macd、kdj等指标数据辅助生成策略来进行自动交易☆10Nov 19, 2021Updated 4 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Feb 25, 2026Updated last week
- ☆11Oct 31, 2021Updated 4 years ago
- A silicon wafer defect detection algorithm by python,now includes location and crack detection, further more☆41Sep 6, 2017Updated 8 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆13Jul 8, 2024Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆11Sep 15, 2025Updated 5 months ago
- ☆10Oct 11, 2022Updated 3 years ago
- Code for the paper "Optimal Off-Policy Evaluation from Multiple Logging Policies"☆15Jul 17, 2021Updated 4 years ago
- CVPR 2021 Oral Paper PatchGenCN☆12Oct 28, 2021Updated 4 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- ☆12Aug 25, 2022Updated 3 years ago
- Streamlines the creation of dataset to train a Large Language Model with triplets : instruction-input-output . The default configuration …☆13Apr 17, 2023Updated 2 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Feb 26, 2026Updated last week
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- R1V, trained with AI feedback, answers open-ended visual questions.☆14Apr 12, 2025Updated 10 months ago
- ☆14Feb 26, 2026Updated last week
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 2 years ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated 7 months ago
- Scratchpad/Chain-of-Thought Prompts☆12Jun 6, 2022Updated 3 years ago
- The TeX for Adams' blue book, by the group TeXromancers☆13Sep 15, 2025Updated 5 months ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 2 years ago
- Auto math prover.☆11Jul 10, 2024Updated last year
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Matlab LevelDB wrapper☆11May 28, 2015Updated 10 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Compute and manipulate Hodge diamonds for many classes of smooth projective varieties☆11Jan 22, 2026Updated last month
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Tumor Phylogeny Reconstruction via Integrative use of Single Cell and Bulk Sequencing Data☆11Jul 13, 2020Updated 5 years ago
- 😎 Awesome papers on token redundancy reduction☆11Mar 12, 2025Updated 11 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- Simple c++ wrapper for xz utils☆13Jul 1, 2021Updated 4 years ago