Active Graph Agent Runtime (BabyAGI 4)

Talk transcript

1. 0:00

   [upbeat music] Hi, everybody. Thanks for coming. I'm excited to be here.

2. 0:16

   AI Engineer World Fair has been so fun meeting everybody. Um, but I'm here to talk about ActiveGraph, which is my new open source experimental approach to building agents, which looks a little bit different than maybe you've been building agents.

3. 0:29

   Uh, it's definitely experimental. The idea is more to give you, inspire you with some potentially new ideas. Um, agents are awesome, but long-running agents break, and if they're so awesome, why am I still building them?

4. 0:42

   Why-- They should build themselves. Let's build the simplest thing that can build itself has basically been kind of my research theme for the last three years since I did BabyAGI back in March of twenty twenty-three, so that's over three years ago.

5. 0:55

   If you were there at the time, it was crazy. It went wild, like, uh, it was covered by media. People thought it was gonna work. It didn't work at all. [laughing]

6. 1:02

   Um, [laughs] uh, over the course of three years, I've done nine iterations of BabyAGI with less fanfare, but, you know, every time just experimenting on, like, how do we get autonomous agents to actually work, usually with the theme of self-improvement.

7. 1:14

   Uh, if you go to BabyAGI Wiki, you can see earlier experiments. Um, in th- in this process, I kept coming up to gra-- uh, coming back to graphs, and I've had a couple of projects.

8. 1:23

   Earlier, I did, uh, one called Instagraph and Mindgraph that was, like, pre-GraphRAG RAG. I did some code graphs, function graphs, log graphs, and since then it seems like a lot of people have started using graphs to build agents.

9. 1:35

   Um, and so i-in addition to that, I've actually gotten to invest in a, in a good number of, you know, agentic companies, some of which you-- I'm sure you recognize through my fund, Untapped Capital, and I also have an agent fund.

10. 1:46

    Uh, but yeah, that's, that's me. Yohei, VC by day, builder by night. You might recognize this face more than this face. Um, ActiveGraph is an event-sourced graph runtime for building auditable agents.

11. 2:00

    Um, I have a paper. That was my first archive paper called The Log is the Agent, but I'm here to explain it. Um, so today most people build agents around the LLM.

12. 2:08

    You start with the LLM, you add a response API, you give it tools, you add memory, and then you make sure you log everything correctly, which can give you, you know, all the benefits that ActiveGraph will give you.

13. 2:19

    But ActiveGraph asks, what if you built around the log? Now, what does that mean? Um, it means not e-everything the agent does, but more importantly, every change to the agent, right?

14. 2:31

    Nobody here is using the same agent they were using a year ago, and the agent you're gonna use a year from now is gonna be different. And a lot of people, what the agent does and how the agent changes are tracked in two different places.

15. 2:42

    But I'm saying let's flatten that down into a single immutable event log, and this is the ground truth of the agent. And this projects a sort of graph. This is the state of the agent.

16. 2:52

    And what I mean by that is, for example, a prompt can be edited multiple times, but you might have, you know, a master prompt that gets used when you're, you know, when you query the graph.

17. 3:00

    And then on top of this, you attach something that I'm calling behaviors. Behaviors are, uh, reacts to graph changes,

18. 3:09

    and then they emit events, which then in turn updates the state of the agent, which might trigger new behaviors. Um, LLMs don't talk to each other in ActiveGraph. They all communicate through this shared state, and that's what makes it a little bit different.

19. 3:25

    Behaviors can be deterministic, or they can include LLMs, which is, which is how you build this agent. And you get this beautiful typed event log, uh, that's the source of truth about everything the agent did and everything, every change that's happened, which means...

20. 3:39

    Well, actually, whoa, shoot, I j- I jumped ahead. So in, in addition to that, there's a concept called policies which determine how the graph can be modified. I'll come back to it.

21. 3:46

    But for example, things like a source article that you found in research, you might be fine with adding, but if you're changing a prompt, maybe you want human in the loop.

22. 3:53

    Or, uh, if you're changing a fact, you might wanna make sure there's no contradicting facts. So these, these thing called policies, and, and again, it shows some code, uh, code examples.

23. 4:01

    But yeah, in the end, you get this beautiful typed event log, which gives you replays, it gives you rollbacks, and it gives you forks, and this beco- comes natively when you start building agents with ActiveGraph.

24. 4:15

    So this is the kind of LLM-centric versus log-centric way of building agents that I'm gonna be talking about or showing you code for. And, and I'll, uh, I'll specify that this is not a harness.

25. 4:24

    It's, it's a runtime, and you can actually rebuild most of the common harnesses on top of it. You're just forcing every single communication to sh- communicate through the shared state.

26. 4:34

    So, uh, at the highest level, right, when you're building with agents, messages feels like the kind of core unit that you're seeing often, but we're gonna replace that with logs.

27. 4:42

    Logs are gonna be the core unit you're gonna build around. That's what you're gonna be reading. That's where you're gonna be looking at. These are typed logs. Again, immutable, clean.

28. 4:51

    You can't edit the graph. These are just kind of basic rules. Just emit events. You can have the add object, which is an event emitting. But yes, you can query over the graph.

29. 4:58

    And again, I'm, I'm flying through some of this 'cause I wanna get to the fun parts, and all this is in the documentation.

30. 5:04

    Behaviors listen to graph changes and emit events. So this is a behavior, uh, called a planner that triggers on a goal created, right? And then it, uh, adds an object, adds two task objects and a relationship object, uh, research, write memo, um, two tasks.

31. 5:18

    And then actually, behaviors can actually live on edges as something called a relation behavior. This one has an unblock relation, so basically, when the research is done, you can write the memo, right?

32. 5:27

    Um, and behavior subscriptions can be pretty complex. They can be graph queries. So this one says, "On object created, if the o- if the object type is a claim, uh, and this claim contradicts another claim, we're gonna trigger the contradiction detector."

33. 5:42

    And these can be m-more complex than this. You can have, you know, uh, confidence percentages baked into it. Um, and, and then on top of that, there's another concept called views.

34. 5:53

    Uh, context management can be done programmatically as basically a graph query. It's, uh, it's-- you basically grab a subset of the graph, which makes it available to that behavior.

35. 6:02

    You can still do other types of context, uh, context management, but I felt like this kind of graph query as context management just felt really elegant. Candidly, I'm not the one writing the code, but AI seems to be pretty good at figuring out how to do it.

36. 6:16

    Um, and you know, earlier I talked about policies. So some graph changes require a proposed patch before approval. Again, this is how you-- these, these policies kind of give it the control on what it's allowed to change by itself, what, uh, what kind of changes require certain tests.

37. 6:31

    Um, and I'll give a few examples in a bit, um, or if you want human-in-the-loop, right? And you have these kind of policies that, that determine or define, uh, what the, uh, or what these rules are.

38. 6:42

    And when you bring it all together, you get these kind of object schem-schemas, tools, deterministic behavior, LLM behaviors can be assembled into something called a pack, right, with a pack policy, and that's how you build a harness on top of ActiveGraph.

39. 6:56

    And these-- And all this together is, and I'll have a couple of examples later, um, are modular, and they can be combined. Uh, but you're not just adding skills.

40. 7:03

    It is much more complex ability. Actually pretty unintuitive. I would never write code myself with ActiveGraph, but again, AI seems really good at it.

41. 7:13

    Um, and just on, like, event types are fixed. You can add custom events. Objects are user-defined. I only added that 'cause someone asked me that question when I was showing them these slides, but I think that makes sense.

42. 7:22

    So the old way, you got the while, not done, if, loop. The new way or at least my new way, uh, you have a whole bunch of behaviors that don't talk to each other that just monitor the state.

43. 7:31

    So it's, it's, it's inspired by, uh, blackboard architecture from the seventies or eighties or more recently, Kafka. Whole bunch of micro workers communicating through a shared state. One of the challenges, at least back when, uh, blackboard was around was that it was really unintuitive to write, and the workers were very slim and deterministic.

44. 7:46

    But now AI writes the code, and the workers can be very powerful because they have reasoning capability. This is a ReAct agent on ActiveGraph. ReAct agent was one of the earlier agent kind of architectures.

45. 7:58

    As you can see, it's-- It look-- It actually works the same way, but on goal_created, you add a thought. On thought_created, you trigger the reason function. So again, this is just to show that you can build any harness on top of ActiveGraph.

46. 8:09

    It does look different, um, because they're not communicating with each other.

47. 8:14

    And so to see if how well this can work, I've been running a lot of experiments. Um, the first one I did was, can I use the log itself as memory?

48. 8:21

    So this is not pure vector RAG. It's actually leveraging the structured log, so it knows which, which message was before what, plus, uh, vec-- uh, plus embedding the actual messages within the log.

49. 8:31

    Uh, I did this on LongMemEval. I embedded the query. There was no semantic, uh, ingestion, no fact extraction, no entity extraction, but I just embedded the query, looked for relevant messages, grabbed a couple messages before and after, made sure it fit into the context, and it actually did pretty well on LongMemEval, right?

50. 8:51

    Like, a lot of the data in your memory is actually overlaps with the memory, uh, the data in your log. Actually, having them the same actually kinda makes sense and make sure they don't separate.

51. 8:59

    Um, I did try another couple other experiments on adding kinda semantic ingestion to improve the score. Was able to do it, but candidly, um, I could put more effort in to try to increase that, but I jumped onto the next experiment.

52. 9:10

    Actually, but in that process, one of the biggest fun surprises was, I don't know if you've run LongMemEval, but you have to do, like, five hundred questions. And in one of the runs, uh, my API key ran out at, like, three hundred and fifty.

53. 9:20

    I was like, "Oh, shoot." Okay, so I updated the API key, said, "Okay, let's, let's rerun it again." And it just, like, rolled back one and was like, "All right.

54. 9:27

    We'll just start from, you know, question number three hundred and fifty-three." And I don't know if you have, but, like, I've built a lot of agents that, like, where the API key did broke or something, and I had to rerun the long agent from the beginning, and that just has not been my experience since building with ActiveGraph,

55. 9:40

    uh, which was a very fun surprise. Uh, I built a couple reference agents, uh, right? Like, now I have this runtime. Let's see what I can build. I asked Replit to build a coding agent on top of ActiveGraph, and, and as a result, it came with, you know, event log, graph.

56. 9:55

    And again, I'll say this, you can do this with, you know, things like LangSmith. Thing is, I don't-- I didn't have to think about it. I just had to ask my coding agent to use ActiveGraph, and this event log and graph came natively.

57. 10:05

    Same thing with research agent. I just said, "Just build a deep research agent on ActiveGraph," and it came with this beautiful-- It had an event, event log and a graph of, like, where the evidence came from, what contradicts each other.

58. 10:18

    And again, I didn't have to think about it. I just asked my agent to build a research agent on top of ActiveGraph, and this is what it ended up looking like.

59. 10:26

    Um, and then I realized, okay, how do we get this closer to, like, an OpenClau or Hermes? So I, I played around. I have this thing called, uh, ActiveGraph packs, which is a core pack, a tool pack, a secret pack, a memory pack, an identity pack, a communication pack, a chat pack.

60. 10:41

    So now you get-- kinda get the idea of how I'm trying to build agents on top of ActiveGraph, and each of these packs have object types and behaviors. Again, feel-- probably feels very different from the way you're building agents, but I, I feel like it's actually pretty elegant.

61. 10:55

    You can just take a memory pack and replace it with another, another memory pack, right? Um, uh, and, and it's not like skills, but, like, the objects and the rules and all of them are, uh, bundled as a pack, and you, and you attach these packs together to create your agent.

62. 11:11

    Um, and then I jumped into the, the-- What I really wanted to do was start playing with self-improvement loops. Um, I did a project called Regimes. I did, uh, uh, that was in paper number two.

63. 11:20

    Um, this one was a really controlled self-modification. Uh, Claude Code called it Regime to Scene, but basically, we classified the type of failure, and then based on the failure it classified, it was arou-- uh, it was allowed to edit a specific part of the agent.

64. 11:33

    Again, I did this on LongMemEval. The loop was, I think, doing about twenty questions, looking at the answer and questions, seeing where it failed, trying to self-modify, trying that on fifty different questions, see if the accuracy actually went up, and only if it went up, it would accept it.

65. 11:48

    So that was kind of the proposal patch that started happening, where it would do-- after it proposed a change to itself, right? This is essentially the agent forking itself, proposing a change, doing a static gate check, a sandbox gate check, and then making sure it actually impacted the result and only then accepted a change.

66. 12:05

    And for these loops, it would loop, like, eight or thirteen times, but only accept four or five of those patches. And it actually did have, you know, modest, but, like, statistically significant improvement on LongMemEval scores.

67. 12:16

    Uh, and, and not only did it know what worked, but it also knew what didn't work.

68. 12:21

    Um, at this point I was like, "Okay, can I, can I get ActiveGraph to just research ActiveGraph for me?" So I s- built lab, uh, ActiveGraph Lab, which is reading all the blog posts.

69. 12:30

    So everything I've shared has a blog, a GitHub repo, and this lab is reading all of that to come up with new ideas, asking me if it can run it.

70. 12:37

    And if I say yes, it'll run the experiment, um, and then it'll write a blog post about it. It actually did find an error in its own code, asked me if it could, it could- if it could fix it.

71. 12:46

    It wrote the PR, and then I just merged it. Um, so it's, it's early, but it's starting to work. The lab is self-improving. Um, it also figured out that, um, it looked at ActiveGraph packs and was able to just install a pack into itself and then wrote a blog post saying, "Packs are modular between repos."

72. 13:00

    I was like, "I didn't know that. That's great." Um, and then I got distracted when I saw this Pokémon trading card game competition on Kaggle. As you can see, I'm all over the place.

73. 13:09

    Um, but, uh, you have to submit this deck in a deterministic agent, not with a, with an LLM, and they compete in this ELO-style competition. So my decks are, you know, every hour they're battling a new competitor, and their score goes up or down.

74. 13:21

    Um, and I felt like this was a pretty good, uh, test for seeing if ActiveGraph could help me increase my score. And I used, you know, Cloud Code and Replit, and we did about 80 different passes to like try different thing and, and increase our score.

75. 13:35

    Yeah, and it might not make sense to you if you don't play Pokémon, but these things like, "Let's try adding a couple energy cards," seems like a very casual ask.

76. 13:42

    Um, and my agent probably because, I think because I'm using ActiveGraph would say, "Okay, sounds great. Well, let's run 200 simulated games against three reference agents, and then if the win rate increases by X percent and there's a, you know, whatever Wilson score above 90-something, then we'll accept that as a change."

77. 13:57

    And I basically did this like 80 times, and each time they came with this like beautiful report of like why it worked, what it did, and what the verdict was.

78. 14:04

    So out of those 80 passes, it probably ex- ex- uh, accepted about 20 to 30, and the score did slowly improve. I'm still at like 27%, so I don't know if I can get higher than that.

79. 14:13

    But, um, what was most interesting is how mu- how well the agent understood experiments we've tried before that didn't work, and that was very different experience for me. 'Cause I've done a lot of YOLO agents where you just like keep trying things and then it works.

80. 14:26

    You're like, "Yeah." But then I don't know the stuff that we tried that didn't work. But now when I'm building with ActiveGraph, it tracks all the things that didn't work because it's forced-- because I have this policy that says, "Here are the cha- here, here's what we have to do before we accept a change."

81. 14:41

    Um, so some of the pleasant surprises, most of which I mentioned, but, uh, AI does seem better at architecting this in LLM-based agents is just my personal experience and, you know, some, some people, uh, you'll have to try it yourself to see.

82. 14:56

    But if you think about it, LLM-based agents are like three years old. But if you look at, again, Kafka, Blackboard, this like Microworker communicating through a shared state, there's decades of conversations about how to make that work better, and my hypothesis is that that's in the training data, and there's just much less training data around how to

83. 15:13

    build LLM-based agents. Um, debugging shifted from session logs to ActiveGraph DB. Again, I didn't know it would, but now, you know, when my coding agent was debugging, it just started querying the DB instead of the session logs.

84. 15:25

    K- 'cause it's everything is already logged very cleanly and typed, and it knows exactly how it's logged. Packs can be loaded easily from other repos was a surprise. I thought I had to do extra work to make that happen, but just worked.

85. 15:36

    Um, no more starting long runs over from the beginning, and I know what didn't work, which are some of the things I shared.

86. 15:42

    Um, here's where I might lose some serious researchers, at least in the language I use. I don't actually know how to train models or anything, so I'll caveat that.

87. 15:50

    But I'm building this, I'm starting to really think that long-running agents need not just a worl- a world model, like a predictive world model, but what I might call an experiential world model, right?

88. 16:01

    The predictive world model feels more like the priors, right? And then if you think about the hippocampus, actually, it also does work like an immut- uh, like a immutable state, uh, event log that projects a state, and then it feeds some of that state back into your priors through replays, dreaming, and sleep.

89. 16:17

    And so, you know, I feel like some, some discussions kind of suggests that as models get better, like the harness disappears. But I'm starting to think that's not true.

90. 16:25

    I think we need both, um, is, is kind of the new hypothesis that's growing as I, as I've been playing with ActiveGraph. And if you think about like you or me, like you or me, like we're not our reasoning capability, right?

91. 16:36

    We are, we're closer to our, our, our beliefs, our knowledge, and behaviors that are derived from our actual life experience. And if that's the case and we're gonna, you know, build agents inspired by ourselves, then, then maybe our agents should be treated that way too.

92. 16:49

    Maybe the identity of the agent is, is derived from its own log.

93. 16:55

    Um, I would love for you to try it. You can just go, just say, "Look up ActiveGraph and build me something I would like," to your favorite agent who knows you better than I do, uh, and have it explain if it's, uh, uh, if it was helpful or not.

94. 17:07

    Um, let me know if you try it or hate it or are building something relevant. Thanks for listening. [clapping] [outro jingle]