[B! SMT] TAKEmaruのブックマーク

Manticore: Symbolic execution for humans

Earlier this week, we open-sourced a tool we rely on for dynamic binary analysis: Manticore! Manticore helps us quickly take advantage of symbolic execution, taint analysis, and instrumentation to analyze binaries. Parts of Manticore underpinned our symbolic execution capabilities in the Cyber Grand Challenge. As an open-source tool, we hope that others can take advantage of these capabilities in

TAKEmaru 2017/04/29

リンク

GitHub - DennisYurichev/SAT_SMT_by_example at 89c46ca2d9040dd46b309043f4937b8e1d49c8ed

TAKEmaru 2017/02/25

SMT
SAT

リンク

SAT/SMTソルバの仕組み

NLP コロキウム https://nlp-colloquium-jp.github.io/ で発表した際のスライドです。論文: https://arxiv.org/abs/2205.01954 GitHub: https://github.com/joisino/wordtour 概要単語埋め込みは現代の自然言語処理の中核技術のひとつで、文書分類や類似度測定をはじめとして、さまざまな場面で使用されていることは知っての通りです。しかし、ふつう埋め込み先は何百という高次元であり、使用する時には多くの時間やメモリを消費するうえに、高次元埋め込みを視覚的に表現できないため解釈が難しいことが問題です。そこで本研究では、【一次元】の単語埋め込みを教師なしで得る方法を提案します。とはいえ、単語のあらゆる側面を一次元で捉えるのは不可能であるので、本研究ではまず単語埋め込みが満たすべき性質を健全性と完