Stars
Using SyGuS to synthesize reactive motion planners.
Collection of tutorials and examples for the Robot Operating System ROS 2
Use LLM to stream diagrams, instead of tokens, in real-time! (UIST 2023 Paper)
An extensible benchmark for evaluating large language models on planning
PIPE - Platform Independent Petri Net Editor
Google Research
Python library for working with Metric Temporal Logic (MTL)
A collection of infrastructure and tools for research in neural network interpretability.
Data and code behind the articles and graphics at FiveThirtyEight
Anomaly detection related books, papers, videos, and toolboxes
Interesting resources related to XAI (Explainable Artificial Intelligence)
Guide KorQuAD upload to leaderboard (EM 68.947 / F1 88.468) model which only use BERT-multilingual(single)
all kinds of text classification models and more with deep learning
๐ A list of practical projects that anyone can solve in any programming language.
์์ ๋ก ๋ฐฐ์ฐ๋ ๋จธ์ ๋ฌ๋ ์๊ณ ๋ฆฌ์ฆ 2018
Final presentation: https://youtu.be/VPPsDhy_UjU