Junyan Xu alreadydone

Are multi-LLM-agent systems a thing? Yes they are. But.

Yoav Goldberg, Nov 24, 2024

This piece started with a pair of twitter and bluesky posts:

let's talk about "agents" (in the LLM sense). there's a lot of buzz around "multi-agent" systems where agents collaborate but... i don't really get how it differs from a thinking of a single agent with multiple modes of operation. what are the benefits of modeling as multi-agent?
— (((ل()(ل() 'yoav))))👾 (@yoavgo) November 23, 2024

FAQ on the xz-utils backdoor (CVE-2024-3094)

This is a living document. Everything in this document is made in good faith of being accurate, but like I just said; we don't yet know everything about what's going on.

Update: I've disabled comments as of 2025-01-26 to avoid everyone having notifications for something a year on if someone wants to suggest a correction. Folks are free to email to suggest corrections still, of course.

	import Mathlib

	open scoped BigOperators
	open Filter
	open scoped Nat

	namespace Real

	/-
	============================================================

	import Mathlib

	set_option linter.style.longLine false

	open Set Filter Topology RealInnerProductSpace Gradient

	variable {V : Type*} [NormedAddCommGroup V] [InnerProductSpace ℝ V] (f : V → ℝ) (X : ℝ → V) (r : ℝ)

	def minimizers : Set V := {x \| IsMinOn f Set.univ x}

	import argparse
	import random
	import sys

	from transformers import AutoModelForCausalLM, AutoTokenizer, DynamicCache
	import torch

	parser = argparse.ArgumentParser()
	parser.add_argument("question", type=str)
	parser.add_argument(

	import Mathlib.RingTheory.RingHom.FinitePresentation
	import Mathlib.RingTheory.Flat.Algebra
	import Mathlib.AlgebraicGeometry.Morphisms.FinitePresentation

	/-!
	Authors: Judith Ludwig, Christian Merten

	Note: This only works on the mathlib branch chrisflav/finpres.2
	-/

	#include <stdio.h>
	#include <stdlib.h>
	#include <math.h>
	#include <assert.h>

	#ifndef M_PI
	#define M_PI 3.14159265358979323846
	#endif

	// Constants for model dimensions, learning rate, etc.

	import collections
	from fractions import Fraction
	import os
	import re
	from typing import Dict, List, Set, Tuple, Union

	from datasets import load_dataset
	import pandas as pd

	import Mathlib.Tactic

	inductive E
	\| lit : Bool → E
	\| var : Nat → E
	\| ite : E → E → E → E
	deriving DecidableEq

	def E.hasNestedIf : E → Bool
	\| lit _ => false

Junyan Xu alreadydone

Are multi-LLM-agent systems a thing? Yes they are. But.

FAQ on the xz-utils backdoor (CVE-2024-3094)

Background