Some articles by flipradio anchor --- Li HouChen
☆17Mar 26, 2025Updated last year
Alternatives and similar repositories for flipradio.articles
Users that are interested in flipradio.articles are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Official repository of paper "LOVE-R1: Advancing Long Video Understanding with Adaptive Zoom-in Mechanism via Multi-Step Reasoning"☆24Nov 1, 2025Updated 6 months ago
- A type theory for tiny objects☆19Mar 6, 2026Updated 2 months ago
- Cross-Self KV Cache Pruning for Efficient Vision-Language Inference☆10Dec 15, 2024Updated last year
- Distributions of Agda executable compiled into WebAssembly.☆25Apr 4, 2026Updated last month
- The official implementation of the paper **LVChat: Facilitating Long Video Comprehension**☆14Apr 15, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Synthetic geometry. Probably mostly algebraic geometry.☆26Jan 22, 2024Updated 2 years ago
- Formal Topology in Univalent Foundations (WIP).☆37Jul 29, 2022Updated 3 years ago
- ☆23Dec 5, 2023Updated 2 years ago
- ☆20Mar 18, 2026Updated 2 months ago
- ☆54Mar 10, 2026Updated 2 months ago
- 这是一款免费的思源笔记分享插件，支持将笔记本或文档生成分享链接，设置访问密码、到期时间、访客人数限制，并可以查看分享内容的访问概览。☆47Apr 8, 2026Updated last month
- ☆26Aug 19, 2025Updated 9 months ago
- ☆25Jul 4, 2022Updated 3 years ago
- 可以在笔记本上运行的免费AI搜索问答助手☆24Jul 16, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆32Feb 12, 2026Updated 3 months ago
- 鼠标快捷操作，在屏幕边缘一共24个触发器。☆27Jun 3, 2021Updated 4 years ago
- 使用 HTML5 播放器替换学在西电课程回放平台原本的 Flash 播放器☆22Jun 9, 2021Updated 4 years ago
- Visual Prompt Augmentation☆39Dec 21, 2023Updated 2 years ago
- 共识网(21ccom.net)是大师云集的思想平台，于2016年被当局以传播错误思想为由关闭。本项目为共识网的互联网时光机快照提供索引。☆22Sep 14, 2021Updated 4 years ago
- 音频计划☆46Feb 22, 2025Updated last year
- Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality☆61Jun 17, 2022Updated 3 years ago
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆66Apr 26, 2026Updated last month
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆71Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- [AAAI 2025] HiRED strategically drops visual tokens in the image encoding stage to improve inference efficiency for High-Resolution Visio…☆44Apr 18, 2025Updated last year
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆40May 14, 2024Updated 2 years ago
- [ECCV 2024] Efficient Inference of Vision Instruction-Following Models with Elastic Cache☆43Jul 26, 2024Updated last year
- ☆86Feb 28, 2025Updated last year
- Formalising Type Theory in a modular way for translations between type theories☆96Jan 10, 2018Updated 8 years ago
- 0n-demand news navigator ⓪☆38May 3, 2026Updated 3 weeks ago
- official impelmentation of Kangaroo: A Powerful Video-Language Model Supporting Long-context Video Input☆68Aug 30, 2024Updated last year
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆135Mar 30, 2026Updated last month
- Agda lecture notes for the Functional Programming course at TU Delft☆133Mar 3, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆81Nov 24, 2024Updated last year
- [ICML 2026] Video-o3: Native Interleaved Clue Seeking for Long Video Multi-Hop Reasoning☆97Apr 30, 2026Updated 3 weeks ago
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆62Jan 9, 2025Updated last year
- manage your online devices which opened SiYuan☆57Mar 11, 2026Updated 2 months ago
- [ACM MM 2025] TimeChat-online: 80% Visual Tokens are Naturally Redundant in Streaming Videos☆127Apr 16, 2026Updated last month
- LeanInteract: A Python Interface for Lean 4☆121May 14, 2026Updated last week
- [EMNLP 2024 Findings🔥] Official implementation of ": LOOK-M: Look-Once Optimization in KV Cache for Efficient Multimodal Long-Context In…☆103Nov 9, 2024Updated last year