본문 바로가기

News/논문

Symbolic AI/Symbolic Execution

머신러닝을 처음 만든 사람은 누구일까? (최재운)
https://brunch.co.kr/@plutoun/179

 

컴퓨터에게 논리를 가르치자, 심볼릭AI의 등장 (최재운)
https://brunch.co.kr/@plutoun/181

 

인공 신경망의 시작, 맥컬럭과 피츠 (최재운)
https://brunch.co.kr/@plutoun/187

 

 

 

Neuro-Symbolic A.I. 는 인공지능의 미래다
https://blog.naver.com/joymychoy/222318354002

Symbolic AI vs Machine Learning in Natural Language Processing
https://www.inbenta.com/articles/symbolic-ai-vs-machine-learning-in-natural-language-processing/

Symbolic Execution과 Concrete Execution의 차이를 모르겠습니다.
https://kldp.org/node/116648

PAL: Program-aided Language Models
https://arxiv.org/abs/2211.10435

Symbolic execution (심볼릭 실행)
https://wide-shallow.tistory.com/4

Symbolic execution (심볼릭 실행)은 무엇인가?
https://blog.naver.com/suresofttech/222272849897

Symbolic execution
https://en.wikipedia.org/wiki/Symbolic_execution

기호 실행 원리(Principles of Symbolic Execution)
https://rond-o.tistory.com/311

 

[논문리뷰] Symbolic Execution for Software Testing: Three Decades Later
https://www.postype.com/@cpuu/post/15979710

LLM과 기호
https://medium.com/@simple0314/llm%EA%B3%BC-%EA%B8%B0%ED%98%B8-c7caf48143dd

논문 정리: LLM기반 Table Parsing
http://delosycho.co.kr/?p=167

Symbolic Execution을 통한 Code Coverage의 향상
https://koreascience.kr/article/CFKO201735553776620.pdf

 

 

 

 

 

 

[toAGI①]넥스트 딥러닝 패러다임, 얀 르쿤 vs. 게리 마커스

 

Science Monitor

AI, Quantum Computing Science & Technology Magazine

scimonitors.com

 

 

 

[toAGI②]신경망 딥러닝 한계와 상징추론 ‘심볼릭 AI’

 

Science Monitor

AI, Quantum Computing Science & Technology Magazine

scimonitors.com

 

 

 

Symbolic AI vs. Neuro AI

 

Symbolic AI vs. Neuro AI

Symbolic AI "생각이 있다면 사람이다. X는 생각한다. 고로 X는 사람이다." 이를 rule 이라고 하고, X는 fact라고 합니다. 이러한 rule과 fact를 Knowledge Base(KB)라고 합니다. (이를 표현하는 것을 Knowledge Repres

doug.tistory.com

 

 

 

[KAIST 인공지능연구원 세미나] Symbolic reasoning in the era of deep learning_KAIST 전산학부 양홍석 교수

https://www.youtube.com/watch?v=--q8_s_xutk

 

 

 

 

'News > 논문' 카테고리의 다른 글

LangChain/LLM Agent  (0) 2024.09.25
Reinforcement Learning Introduction  (0) 2024.08.14
BART Implementation Code  (0) 2024.06.25
T5 Implementation Code  (0) 2024.06.24









>