Sever Topan (@SeverTopan) - Twitter-Profil | Zamantika Mersobahis Locabet

Sever Topan retweetet

Excited to share FrontierSWE! FrontierSWE is an ultra-long horizon, extremely hard coding agent benchmark. Models get 20 hours to solve tasks spanning greenfield implementation, research, and performance optimization. No frontier model is currently capable of solving *any* task in FrontierSWE.

English

2

21

931

Sever Topan@SeverTopan·23 Şub

Something a little different: I recently published an Ethics paper to AI & Society that shows how granting moral status to AIs can allow them to hijack our moral landscape. Check it out if that sounds interesting open.substack.com/pub/severtopan…

English

0

3

46

Sever Topan retweetet

Brendan Graham@brendanigraham·30 Tem

I'm open-sourcing Steer 🐂: a terminal-first AI coding agent written in Rust 🦀. It has a TUI for interactive use, headless mode for automation, and can run as a gRPC server for programmatic usage. Steer is fast and built for engineers.

English

5

2

23

1.6K

Sever Topan retweetet

xAI@xai·14 Eki

And the winners are.. @SohilAthare @SeverTopan @brendanigraham @m_catoen. Congratulations to the winning teams and thanks to all participants! See you next time.

English

88

118

1.1K

634.2K

Sever Topan retweetet

Xujie Si@XujieSi·9 Ara

@SeverTopan is going to give a spotlight presentation on our recent work with @david_rolnick on learning and solving constraints over raw pixels at 4:30PM PST. Please come and have a chat if you are interested. nips.cc/virtual/2021/s…

David Rolnick@david_rolnick

Happy to share that this paper will be a spotlight at #NeurIPS2021 - looking forward to @SeverTopan's presentation! Many areas stand to benefit from better integration of symbolic and statistical reasoning in AI systems.

English

0

1

3

0

Sever Topan retweetet

David Rolnick@david_rolnick·14 Kas

Happy to share that this paper will be a spotlight at #NeurIPS2021 - looking forward to @SeverTopan's presentation! Many areas stand to benefit from better integration of symbolic and statistical reasoning in AI systems.

David Rolnick@david_rolnick

In exciting new work with @SeverTopan (first author) and @XujieSi, we essentially solve the symbol-grounding problem for SATNet-style neural nets solving certain logical reasoning puzzles (Visual Sudoku): arxiv.org/pdf/2106.11072… Details in thread. 1/

English

1

3

19

0

Sever Topan retweetet

David Rolnick@david_rolnick·29 Haz

In exciting new work with @SeverTopan (first author) and @XujieSi, we essentially solve the symbol-grounding problem for SATNet-style neural nets solving certain logical reasoning puzzles (Visual Sudoku): arxiv.org/pdf/2106.11072… Details in thread. 1/

English

3

6

33

0

Sever Topan

Entdecken